Dietmar Maurer a7d40e1f89 asciidoc.js: use jQuery instead of $		2016-10-22 12:49:00 +02:00
..
asciidoc.js	asciidoc.js: use jQuery instead of $	2016-10-22 12:49:00 +02:00
dblatex-custom.sty	move asciidoc related data into asciidoc subdir	2016-10-19 08:00:33 +02:00
mediawiki.conf	add simple toc generator for wiki pages	2016-10-22 12:24:39 +02:00