gitignore: Forget the phantom path `coverage/`.

We generate a docs/_build/coverage/, and a var/coverage/
(and the latter is mapped as the URL `/coverage/` in dev),
but those are covered (ahem) by other ignore patterns
that ignore their respective parents.
This commit is contained in:
Greg Price 2017-07-19 14:13:00 -07:00
parent 14be6ac668
commit 98a3646918
1 changed files with 0 additions and 1 deletions

1
.gitignore vendored
View File

@ -35,7 +35,6 @@ npm-debug.log
# Test / analysis tools
.coverage
coverage/
## Files left by various editors and local environments
# (Ideally these should be in everyone's respective personal gitignore files.)