summaryrefslogtreecommitdiff
path: root/lib/Wayland/Native.lean
diff options
context:
space:
mode:
authorHannes Schulze <haschu0103@outlook.de>2026-04-05 16:18:40 +0200
committerHannes Schulze <haschu0103@outlook.de>2026-04-05 16:18:40 +0200
commit1a59b19a615483ade6284e554c53f17afabb7287 (patch)
tree52a31ca6594d3e67d1ab0a8aafc2cb4196c3ded2 /lib/Wayland/Native.lean
parent1f5491a5af7bd0f1ec4046994d6344886465cba5 (diff)
some cleanup
Diffstat (limited to 'lib/Wayland/Native.lean')
0 files changed, 0 insertions, 0 deletions