make global deletion optional. Fixes #4
[scpubgit/stemmaweb.git] / .gitignore
1 db/