4 Commits

Author	SHA1	Message	Date
Philipp Kühn	d3b4e7a1d4	fix build for now	2020-11-10 16:29:31 +01:00
Philipp Kühn	7d121eb39a	improve build script	2020-11-10 09:21:47 +01:00
Hans Pagel	299ca72f3e	whitespace	2020-09-24 15:44:07 +02:00
Philipp Kühn	a057755e42	add basic heading extension	2020-04-21 22:16:26 +02:00