Remove obsolete scripts (was hosted at https://github.com/jabref/htdocs…

…) (#3908)
JabRef · Mar 31, 2018 · 01c92f2 · 01c92f2
1 parent b3b0b44
commit 01c92f2
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 388 deletions.
diff --git a/scripts/htdocs-helper/README.md b/scripts/htdocs-helper/README.md
diff --git a/scripts/htdocs-helper/generate-htdocs-help-from-jabref-src-help.pl b/scripts/htdocs-helper/generate-htdocs-help-from-jabref-src-help.pl
diff --git a/scripts/htdocs-helper/validate-htdocs-syntax.pl b/scripts/htdocs-helper/validate-htdocs-syntax.pl