Kai Krakow f041ba2281 format-check: Optimize format-check.sh vor 6 Jahren
..
format-check.sh f041ba2281 format-check: Optimize format-check.sh vor 6 Jahren
git-archive-all.sh f1195e22bf scripts: Add management scripts to make release process easier vor 7 Jahren
mkrelease.sh 2ae86fabd6 Update to version 1.3-dev post-1.2 release vor 6 Jahren