summaryrefslogtreecommitdiff
path: root/lib/Wayland/Protocols/RiverXkbConfigV1/Interface.lean
diff options
context:
space:
mode:
authorHannes Schulze <haschu0103@outlook.de>2026-04-03 21:40:46 +0200
committerHannes Schulze <haschu0103@outlook.de>2026-04-03 21:40:46 +0200
commit09be9fb2701f0560aeb714f89fe0d1e750915ae0 (patch)
tree3d05703751e8cd4308cd1a02876ee4baf1cb61f9 /lib/Wayland/Protocols/RiverXkbConfigV1/Interface.lean
parent54d62ad2f3eb72d57683780b55dad2a97b1e2dcb (diff)
parse wayland protocols
Diffstat (limited to 'lib/Wayland/Protocols/RiverXkbConfigV1/Interface.lean')
0 files changed, 0 insertions, 0 deletions