Alex Smith e5ccb4b68d Update version to 1.3.1 vor 6 Jahren
..
format-check.sh b2870671bd formatcheck: Use a shorter timeout vor 6 Jahren
git-archive-all.sh f1195e22bf scripts: Add management scripts to make release process easier vor 7 Jahren
mkrelease.sh e5ccb4b68d Update version to 1.3.1 vor 6 Jahren