xe20170507_014947

This commit is contained in:
Jakobus Schürz 2017-05-07 01:49:47 +02:00
parent b8308535bf
commit 52a3e4868e

View file

@ -49,3 +49,6 @@ buildonlydeb: $(FILES)
fakeroot git commit -m $(COMMIT) && git push origin master || exit 0
touch .publish-git
pull-git:
git pull origin || exit 0