diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-03 21:40:46 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-03 21:40:46 +0200 |
| commit | 09be9fb2701f0560aeb714f89fe0d1e750915ae0 (patch) | |
| tree | 3d05703751e8cd4308cd1a02876ee4baf1cb61f9 /lib/Wayland.lean | |
| parent | 54d62ad2f3eb72d57683780b55dad2a97b1e2dcb (diff) | |
parse wayland protocols
Diffstat (limited to 'lib/Wayland.lean')
| -rw-r--r-- | lib/Wayland.lean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Wayland.lean b/lib/Wayland.lean index f3781ec..c9a06fa 100644 --- a/lib/Wayland.lean +++ b/lib/Wayland.lean @@ -3,3 +3,4 @@ import Wayland.Basic.Duration import Wayland.Basic.PosixSignal import Wayland.Basic.Lens import Wayland.Display +import Wayland.Protocols |