Item14347: Remove more obsolete / junk files

foswiki · Mar 25, 2017 · 33c3c71 · 33c3c71
1 parent 6d438dc
commit 33c3c71
Show file tree

Hide file tree

Showing 24 changed files with 0 additions and 2,612 deletions.
diff --git a/core/tools/README b/core/tools/README
diff --git a/core/tools/addpod.pl b/core/tools/addpod.pl
diff --git a/core/tools/benchmark.pl b/core/tools/benchmark.pl
diff --git a/core/tools/benchmark/README b/core/tools/benchmark/README