5 commits

Author	SHA1	Message	Date
Stephan I. Böttcher	a0f7135898	Merge branch 'master' into step_v7_dev	2021-09-20 14:50:13 +02:00
Stephan I. Böttcher	42b1caedbb	clean up .gitignore	2021-07-24 20:52:43 +02:00
Stephan I. Böttcher	86ca64ea0d	avoid sending diagnostics to stdout.	2021-07-22 12:39:44 +02:00
Stephan I. Böttcher	e16d6955cc	ignore backups, tex output.aux	2021-07-08 20:28:05 +02:00
Jan Christoph Terasa	43d61ac049	Add .gitignore.	2019-11-28 11:52:40 +01:00