Eberhard Graether c34b17418d build: revised build scripts

2019-11-05 17:00:39 +01:00

..

git_commit_template.txt

script: test enforced push to master

2016-03-07 16:58:57 +01:00

git_pre_commit_hook.sh

build: revised build scripts

2019-11-05 17:00:39 +01:00

git_pre_push_hook.sh

build: revised build scripts

2019-11-05 17:00:39 +01:00