summaryrefslogtreecommitdiff
path: root/lib/Wayland/Protocols.lean
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Wayland/Protocols.lean')
-rw-r--r--lib/Wayland/Protocols.lean7
1 files changed, 7 insertions, 0 deletions
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