From c290706fed69d622cfe988e732e1ad01d09e569d Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Sun, 8 Mar 2026 18:26:33 +0100
Subject: rework file structure

---
 lib/Wayland.lean | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/Wayland.lean')

diff --git a/lib/Wayland.lean b/lib/Wayland.lean
index 8dd49c8..f3781ec 100644
--- a/lib/Wayland.lean
+++ b/lib/Wayland.lean
@@ -1,2 +1,5 @@
 import Wayland.Native
+import Wayland.Basic.Duration
+import Wayland.Basic.PosixSignal
+import Wayland.Basic.Lens
 import Wayland.Display
-- 
cgit v1.3.1