diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-03-08 18:26:33 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-03-08 18:26:33 +0100 |
| commit | c290706fed69d622cfe988e732e1ad01d09e569d (patch) | |
| tree | 8822cb160e3596657fc6aa7020026d16632e8e5f /lib/Wayland.lean | |
| parent | 658b74715751cb4b52b2a968325ece9a62a29fc3 (diff) | |
rework file structure
Diffstat (limited to 'lib/Wayland.lean')
| -rw-r--r-- | lib/Wayland.lean | 3 |
1 files changed, 3 insertions, 0 deletions
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 |