dzello f8a8c06266 Whitespace stripping to make generated HTML more readable		2018-07-22 10:54:47 +02:00
..
body.html	Add hook to put content at end of head and body	2018-04-30 13:19:22 -07:00
head.html	Add hook to put content at end of head and body	2018-04-30 13:19:22 -07:00
slides.html	Whitespace stripping to make generated HTML more readable	2018-07-22 10:54:47 +02:00