From 44796b1b1493a67dcdfec8f9846dce14e7ecf4a4 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Tue, 10 Feb 2026 17:05:11 +0100 Subject: initial commit --- lib/Wayland.lean | 1 + 1 file changed, 1 insertion(+) create mode 100644 lib/Wayland.lean (limited to 'lib/Wayland.lean') diff --git a/lib/Wayland.lean b/lib/Wayland.lean new file mode 100644 index 0000000..16f5c4c --- /dev/null +++ b/lib/Wayland.lean @@ -0,0 +1 @@ +import Wayland.Native -- cgit v1.3.1