From 09be9fb2701f0560aeb714f89fe0d1e750915ae0 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 3 Apr 2026 21:40:46 +0200 Subject: parse wayland protocols --- lib/Wayland/Protocols.lean | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 lib/Wayland/Protocols.lean (limited to 'lib/Wayland/Protocols.lean') diff --git a/lib/Wayland/Protocols.lean b/lib/Wayland/Protocols.lean new file mode 100644 index 0000000..e69de29 -- cgit v1.3.1