diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-03-06 18:35:58 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-03-06 18:35:58 +0100 |
| commit | 56c5078463e5f9131dfa073b127e8a9c7c73e05f (patch) | |
| tree | 32a5c25c89702324ffcc2d3c5eebba0af8c426b3 /lib/Wayland/Basic/Lens.lean | |
| parent | 5e7359619cec9c032c8b78f5ca2a38b87b0c79f3 (diff) | |
clean up native api
Diffstat (limited to 'lib/Wayland/Basic/Lens.lean')
0 files changed, 0 insertions, 0 deletions