summaryrefslogtreecommitdiff
path: root/lib/Wayland/Protocols/RiverWindowManagementV1.lean
diff options
context:
space:
mode:
authorHannes Schulze <contact@haschu.me>2026-06-06 00:10:15 +0200
committerHannes Schulze <contact@haschu.me>2026-06-06 00:10:15 +0200
commit37d2f5a8d4e1623d1685ee1d545d2e0e31128352 (patch)
treea1a849a140effe381681d0134fa174035a546b94 /lib/Wayland/Protocols/RiverWindowManagementV1.lean
parentf4cff95f32c523ee794427d06740fe3eaca76421 (diff)
some initial cleanup
Diffstat (limited to 'lib/Wayland/Protocols/RiverWindowManagementV1.lean')
0 files changed, 0 insertions, 0 deletions