summaryrefslogtreecommitdiff
path: root/lib/Wayland/Basic/Duration.lean
diff options
context:
space:
mode:
authorHannes Schulze <contact@haschu.me>2026-04-11 19:43:29 +0200
committerHannes Schulze <contact@haschu.me>2026-04-11 19:43:29 +0200
commit3d722b15a21977931a0bfa99bd8c6a235682a6d9 (patch)
treebf7343024e1cf0d80b1b7bd1de964e97fa9c86d7 /lib/Wayland/Basic/Duration.lean
parentdab858e92dfa5705d1aef7259e03b25747372d95 (diff)
start implementing wm
Diffstat (limited to 'lib/Wayland/Basic/Duration.lean')
0 files changed, 0 insertions, 0 deletions