refresh build system
Refresh build system post release of 1.3.0. Port the various helper scripts to Python3 and remove JRE 1.6 support as that is well EoL-ed by now.
Closes #8 (closed)
Edited by Dr Rich Wareham
GitLab will be updated on 12-Feb-2026 between 12:00 and 14:00. There may be small periods of service instability.
Refresh build system post release of 1.3.0. Port the various helper scripts to Python3 and remove JRE 1.6 support as that is well EoL-ed by now.
Closes #8 (closed)