From 80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Thu, 9 Apr 2026 23:07:23 +0200 Subject: fix build on linux --- lib/Wayland/Protocols.lean | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'lib/Wayland/Protocols.lean') diff --git a/lib/Wayland/Protocols.lean b/lib/Wayland/Protocols.lean index e69de29..0c8bcb8 100644 --- a/lib/Wayland/Protocols.lean +++ b/lib/Wayland/Protocols.lean @@ -0,0 +1,7 @@ +import Wayland.Protocols.RiverInputManagementV1 +import Wayland.Protocols.RiverLayerShellV1 +import Wayland.Protocols.RiverLibinputConfigV1 +import Wayland.Protocols.RiverWindowManagementV1 +import Wayland.Protocols.RiverXkbBindingsV1 +import Wayland.Protocols.RiverXkbConfigV1 +import Wayland.Protocols.Wayland -- cgit v1.3.1