2 Commits

Author	SHA1	Message	Date
Marius Hofmann	d1a5ce9a45	Add option to delete compile helper files ... - build_all.sh now asks you, if you want to delete the helper files (.aux, .log, etc) after compiling is done	2018-03-09 22:08:10 +01:00
Hendrik Cech	6b4bf35e84	Add build_all.sh for gitlab-ci.yml	2017-06-27 22:30:16 +02:00