diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-02-13 23:22:45 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-02-13 23:22:45 +0100 |
commit | e6b57ce2ccc70dfa2ac0ba655fcfdbaab2859d4d (patch) | |
tree | f5a5c5e551740fbae4523d078078038ff6ae379b /doc/handbook/.gitignore | |
parent | 443454a6212e5596f7caaadf3b666fa4857edb64 (diff) | |
download | gnunet-e6b57ce2ccc70dfa2ac0ba655fcfdbaab2859d4d.tar.gz gnunet-e6b57ce2ccc70dfa2ac0ba655fcfdbaab2859d4d.zip |
ignore generated files
Diffstat (limited to 'doc/handbook/.gitignore')
-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 | ||