Marc Di Luzio a9ef55cba3 Fix the format check script by applying it to the previous commit ...

Rather than just to local changes, which doesn't work as intended

2018-04-16 17:52:48 +01:00

..

format-check.sh

Fix the format check script by applying it to the previous commit

2018-04-16 17:52:48 +01:00

git-archive-all.sh

scripts: Add management scripts to make release process easier

2018-04-10 13:23:38 +01:00

mkrelease.sh

scripts: Add management scripts to make release process easier

2018-04-10 13:23:38 +01:00