diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-03-16 14:20:55 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-03-16 14:20:55 +0100 |
| commit | 1cb22cd29de924345cca651d0442b1fc56cf86db (patch) | |
| tree | 39b33264d63789044c9deba7b00dc26c4354734c /lib/Wayland/Protocols/RiverInputManagementV1/Header.lean | |
| parent | fd1bef3ced74a5c24b68598300efaa2bf13f337f (diff) | |
wip request/event (de-)marshalling
Diffstat (limited to 'lib/Wayland/Protocols/RiverInputManagementV1/Header.lean')
0 files changed, 0 insertions, 0 deletions