diff options
| author | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2026-02-20 12:32:00 +0100 |
|---|---|---|
| committer | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2026-02-20 15:00:55 +0100 |
| commit | 72357b7f945a5d25339d3df4d6bd225a30b2601f (patch) | |
| tree | bab4b6d0c2ab15996403f60fff2aa0cda537b351 /types | |
| parent | 7672fee6707ba133fc6cea5b8e69db72f432deb0 (diff) | |
Building: Remove release tag
As we now have the discovery JSON files in the repo, it makes no sense
to conditionally embed the files. Just always embed them
Diffstat (limited to 'types')
0 files changed, 0 insertions, 0 deletions