diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-06 07:19:48 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-06 07:20:06 +0200 |
| commit | 92da08078a5459ca1089743eb58385e752bdb5fa (patch) | |
| tree | e1c63ba933610dbee41182c547a4a1f04d95723b /lib/Wayland.lean | |
| parent | 578b90344c4e9be44955d4c4779f452c0b8dc036 (diff) | |
fix generic new_ids
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 c9a06fa..5f78211 100644 --- a/lib/Wayland.lean +++ b/lib/Wayland.lean @@ -4,3 +4,4 @@ import Wayland.Basic.PosixSignal import Wayland.Basic.Lens import Wayland.Display import Wayland.Protocols +import Wayland.Helpers |