diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-01 20:37:48 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-01 20:37:48 +0200 |
| commit | f2272d4210f80731a200a1a4d41fa1a29e1d2074 (patch) | |
| tree | 63cd8fc5cf54985a905dfbd2bf63d4bd36b4d493 /lib/Wayland/Protocols/RiverWindowManagementV1/Interface.lean | |
| parent | 6390f8d7e7dfe8c0311cffc2e928e93abb92714b (diff) | |
fix demo
Diffstat (limited to 'lib/Wayland/Protocols/RiverWindowManagementV1/Interface.lean')
0 files changed, 0 insertions, 0 deletions