diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/handbook/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/handbook/.gitignore b/doc/handbook/.gitignore index f490c3412..48f864272 100644 --- a/doc/handbook/.gitignore +++ b/doc/handbook/.gitignore | |||
@@ -7,3 +7,4 @@ manual | |||
7 | *.pg | 7 | *.pg |
8 | *.tp | 8 | *.tp |
9 | *.vr | 9 | *.vr |
10 | gnunet gnunet.html | ||