diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/.gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/.gitignore b/docs/.gitignore index 1f7c5c7..56fdc90 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,4 +1,3 @@ *.1 *.5 -*.8 -*.html +*.7 |