diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-02-13 23:22:58 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-02-13 23:22:58 +0100 |
commit | d622dbfe5853609590a34637f6ba6834f424a9d6 (patch) | |
tree | 59673c996532279e79417cd5a8b34d9d3c313bb3 /doc | |
parent | e6b57ce2ccc70dfa2ac0ba655fcfdbaab2859d4d (diff) | |
download | gnunet-d622dbfe5853609590a34637f6ba6834f424a9d6.tar.gz gnunet-d622dbfe5853609590a34637f6ba6834f424a9d6.zip |
ignore generated files, one per line
Diffstat (limited to 'doc')
-rw-r--r-- | doc/handbook/.gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/handbook/.gitignore b/doc/handbook/.gitignore index 48f864272..80ac74ea0 100644 --- a/doc/handbook/.gitignore +++ b/doc/handbook/.gitignore | |||
@@ -7,4 +7,5 @@ manual | |||
7 | *.pg | 7 | *.pg |
8 | *.tp | 8 | *.tp |
9 | *.vr | 9 | *.vr |
10 | gnunet gnunet.html | 10 | gnunet |
11 | gnunet.html | ||