Commit Graph

2 Commits

Author SHA1 Message Date
Dietmar Maurer
1496dbe5b0 mediawiki-import: import important manual pages 2016-05-03 19:31:09 +02:00
Dietmar Maurer
0e25828e13 add headerless .html and mediawiki importer plugin
So that we can easily include refernce docs into mediawiki.
2016-05-03 19:31:09 +02:00