Remove non-tei2html tools from tools

jhellingman · Jan 6, 2025 · 1104f59 · 1104f59
1 parent cece34d
commit 1104f59
Show file tree

Hide file tree

Showing 34 changed files with 0 additions and 4,440 deletions.
diff --git a/tools/broken-images.pl b/tools/broken-images.pl
diff --git a/tools/checkArchives.pl b/tools/checkArchives.pl
diff --git a/tools/cleanHtml.pl b/tools/cleanHtml.pl
diff --git a/tools/divn2div.pl b/tools/divn2div.pl
diff --git a/tools/extract-page.pl b/tools/extract-page.pl
diff --git a/tools/extractPdf.pl b/tools/extractPdf.pl
diff --git a/tools/fb2tei.pl b/tools/fb2tei.pl
diff --git a/tools/fixAnchors.pl b/tools/fixAnchors.pl