diff options
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index f46d61e70..d3743107e 100644 --- a/doc/.gitignore +++ b/doc/.gitignore | |||
| @@ -5,7 +5,6 @@ | |||
| 5 | *.toc | 5 | *.toc |
| 6 | *.cp | 6 | *.cp |
| 7 | *.cps | 7 | *.cps |
| 8 | *.html | ||
| 9 | *~ | 8 | *~ |
| 10 | *.info | 9 | *.info |
| 11 | *.info-1 | 10 | *.info-1 |