diff options
| author | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 16:24:19 +0200 |
|---|---|---|
| committer | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-29 11:42:42 +0200 |
| commit | d73c40ff3d74e9b1bac24c104fdf7738df3c3029 (patch) | |
| tree | add7e97611392a5f63f62dbfe7077db417ffa45c /maintainers | |
| parent | 74513483bc5572d988a059b8e964662d66f1667f (diff) | |
util.hh: Move stuff to types.hh
Change-Id: Ia852306a4b8aac6856dc42bc69e4b58b53a0d67c
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions