Dietmar Maurer 24bec5055d asciidoc.js: use mediawiki resource loader queue ... Because jQuery is not available when we load the script.		2016-10-22 14:50:00 +02:00
..
asciidoc.js	asciidoc.js: use mediawiki resource loader queue	2016-10-22 14:50: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