lib/Wayland/Protocols.lean


1
2
3
4
5
6
7

import Wayland.Protocols.RiverInputManagementV1
import Wayland.Protocols.RiverLayerShellV1
import Wayland.Protocols.RiverLibinputConfigV1
import Wayland.Protocols.RiverWindowManagementV1
import Wayland.Protocols.RiverXkbBindingsV1
import Wayland.Protocols.RiverXkbConfigV1
import Wayland.Protocols.Wayland