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/RiverXkbConfigV1.lean | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 lib/Wayland/Protocols/RiverXkbConfigV1.lean (limited to 'lib/Wayland/Protocols/RiverXkbConfigV1.lean') diff --git a/lib/Wayland/Protocols/RiverXkbConfigV1.lean b/lib/Wayland/Protocols/RiverXkbConfigV1.lean new file mode 100644 index 0000000..264bf7d --- /dev/null +++ b/lib/Wayland/Protocols/RiverXkbConfigV1.lean @@ -0,0 +1,4 @@ +import Wayland.Protocols.RiverXkbConfigV1.Header +import Wayland.Protocols.RiverXkbConfigV1.Interface +import Wayland.Protocols.RiverXkbConfigV1.Requests +import Wayland.Protocols.RiverXkbConfigV1.Resolved -- cgit v1.3.1