Removed some obsolete tools

BestImageViewer · May 5, 2016 · 82a1755 · 82a1755
1 parent 050ec33
commit 82a1755
Show file tree

Hide file tree

Showing 25 changed files with 0 additions and 2,543 deletions.
diff --git a/doc/download.sh b/doc/download.sh
diff --git a/doc/wiki2docbook.py b/doc/wiki2docbook.py
diff --git a/doc/wiki2docbook/headingsNormalizer.about.txt b/doc/wiki2docbook/headingsNormalizer.about.txt
diff --git a/doc/wiki2docbook/headingsNormalizer/headingsNormalizer.xsl b/doc/wiki2docbook/headingsNormalizer/headingsNormalizer.xsl
diff --git a/doc/wiki2docbook/html2db.about.txt b/doc/wiki2docbook/html2db.about.txt