Merge pull request #3099 from tomaarsen/admin/delete_unused_files

nltk · Dec 31, 2022 · a199b8e · a199b8e
2 parents 51454b5 + 1d16629
commit a199b8e
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 454 deletions.
diff --git a/tools/jenkins/pre-install.sh b/tools/jenkins/pre-install.sh
diff --git a/tools/nltk_term_index.py b/tools/nltk_term_index.py
diff --git a/tools/nltk_term_index.stoplist b/tools/nltk_term_index.stoplist
diff --git a/tools/run_doctests.py b/tools/run_doctests.py
diff --git a/tools/svnmime.py b/tools/svnmime.py
diff --git a/tools/travis/coverage-pylint.sh b/tools/travis/coverage-pylint.sh
diff --git a/tools/travis/install.sh b/tools/travis/install.sh
diff --git a/tools/travis/pre-install.sh b/tools/travis/pre-install.sh