repo-mirror.sh: The python3 interpreter call is now more portable.
authorGoetz.Pfeiffer@helmholtz-berlin.de
local dateMon, 21 Feb 2022 15:45:24
dateMon, 21 Feb 2022 14:45:24
hash02f5bfbf904ab46ea49209070de30c82d06ab9be
1 file(s) changed:
bin/repo-mirror.sh +12 -1