summaryrefslogtreecommitdiff
path: root/lib/Wayland/Protocols/RiverXkbBindingsV1/Header.lean
diff options
context:
space:
mode:
authorHannes Schulze <haschu0103@outlook.de>2026-04-06 07:19:48 +0200
committerHannes Schulze <haschu0103@outlook.de>2026-04-06 07:20:06 +0200
commit92da08078a5459ca1089743eb58385e752bdb5fa (patch)
treee1c63ba933610dbee41182c547a4a1f04d95723b /lib/Wayland/Protocols/RiverXkbBindingsV1/Header.lean
parent578b90344c4e9be44955d4c4779f452c0b8dc036 (diff)
fix generic new_ids
Diffstat (limited to 'lib/Wayland/Protocols/RiverXkbBindingsV1/Header.lean')
0 files changed, 0 insertions, 0 deletions