diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-04 12:17:35 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-04 12:17:35 +0200 |
| commit | ad4d34bba7671fdf75850a312c7eeeaeb990a9d3 (patch) | |
| tree | e0ff31e0f1399ecc885b7aef506d2c3e395386d5 /lib/Wayland/Protocols/Wayland.lean | |
| parent | 9d537c6a480bbb8835aaae5c8a5918004442c3c6 (diff) | |
transitive closure of interface dependencies
Diffstat (limited to 'lib/Wayland/Protocols/Wayland.lean')
0 files changed, 0 insertions, 0 deletions