diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2024-02-05 17:14:36 +0100 |
|---|---|---|
| committer | Jeroen Wijenbergh <46386452+jwijenbergh@users.noreply.github.com> | 2024-02-19 14:15:07 +0100 |
| commit | 6f7e32b6d9dcf4732dd0acbd89be77b42805a5ca (patch) | |
| tree | cb979e90385493ceb16ca32e596ea2aa7a860db3 /.github | |
| parent | 88244b18d28d4af37bfb3284ddcda7cc93c50dde (diff) | |
Exports Make: Get version from internal version
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions