Marc Di Luzio d9072607d9 Label master as 1.2-dev

2018-05-11 14:53:30 +01:00

..

format-check.sh

Fix format check

2018-04-24 17:09:06 +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

Label master as 1.2-dev

2018-05-11 14:53:30 +01:00