Old conversion tools no longer needed, compressed.

NormanDunbar · Dec 6, 2018 · 281aec6 · 281aec6
1 parent dfce5e0
commit 281aec6
Show file tree

Hide file tree

Showing 21 changed files with 0 additions and 1,359 deletions.
diff --git a/tools/HTML2rst.sh b/tools/HTML2rst.sh
diff --git a/tools/HTMLTidy.sh b/tools/HTMLTidy.sh
diff --git a/tools/OldConversionTools.zip b/tools/OldConversionTools.zip
diff --git a/tools/Process.sh b/tools/Process.sh
diff --git a/tools/README.md b/tools/README.md
diff --git a/tools/addKeywordLinks.cpp b/tools/addKeywordLinks.cpp