make dinstall: skip mediawiki deb for now
[pve-docs.git] / asciidoc / mediawiki-asciidoc.js
2016-11-07 Dietmar Maurerrename dasciidoc/asciidoc.js -> asciidoc/mediawiki...