diff options
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 |