2 commits

Author	SHA1	Message	Date
Matthias Beyer	7e078108ba	Fix tmpcommit-detection script for travis	2018-04-23 14:52:20 +02:00
Matthias Beyer	b325f14de0	Add script to check whether branch contains tmp commits	2018-04-14 00:46:06 +02:00