5 commits

Author	SHA1	Message	Date
jannisp	f2f3a4140c	Use mklatex to build	2021-08-29 14:34:37 +02:00
jannisp	c2a492766a	Set correct user	2021-08-23 15:00:58 +02:00
jannisp	4fc75cee49	Update jenkins-ci	2021-08-23 14:46:22 +02:00
jannisp	c06c8b36da	Use correct filenames	2021-08-11 11:10:08 +02:00
jannisp	5f162223e9	Add Jenkinsfile	2021-08-11 10:54:26 +02:00