Jeremy Benoist 42b03d2834 Fix release script ... The release script cloned the master branch by default because we never have to clone something else from now. The script will now clone the tag using the given VERSION parameter.		2023-02-03 10:10:35 +01:00
..
dev.sh
install.sh
release.sh
require.sh
update.sh