4 Commits

Author	SHA1	Message	Date
Thomas Klaehn	518ecab91d	default source listing ... fontsize for default listing changed	2017-01-06 11:23:32 +01:00
Thomas Klaehn	b9e4cc3aae	enable pstricks	2016-12-13 14:23:20 +01:00
Thomas Klaehn	3e11219575	new config for "one page" docs	2016-05-17 10:32:51 +02:00
Thomas Klaehn	b658a9afbb	restructured	2015-10-09 15:29:33 +02:00