diff options
| author | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2025-05-06 16:36:41 +0200 |
|---|---|---|
| committer | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2025-05-06 16:40:52 +0200 |
| commit | 5d4f96b297ed6c6d8c761206ff138471e7d259db (patch) | |
| tree | 5204dfe2db6236c062deac0607c1a85c566a2ec1 /types | |
| parent | c6742beb5fb414970de114fd011108c217d0f951 (diff) | |
Makefile: Add a gen target
Diffstat (limited to 'types')
0 files changed, 0 insertions, 0 deletions