diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-03 23:38:07 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-03 23:38:07 +0200 |
| commit | 4119fa8c0c59bb39f9aeba7f479067fd834c4e20 (patch) | |
| tree | d949428ac1697b6cb28dcdf2a628984200d9a7c2 /lib/Wayland/Protocols/RiverLayerShellV1/Resolved.lean | |
| parent | 09be9fb2701f0560aeb714f89fe0d1e750915ae0 (diff) | |
resolve types in protocols
Diffstat (limited to 'lib/Wayland/Protocols/RiverLayerShellV1/Resolved.lean')
0 files changed, 0 insertions, 0 deletions