ignore generated files
authorChristian Grothoff <christian@grothoff.org>
Wed, 13 Feb 2019 22:22:45 +0000 (23:22 +0100)
committerChristian Grothoff <christian@grothoff.org>
Wed, 13 Feb 2019 22:22:45 +0000 (23:22 +0100)
doc/handbook/.gitignore

index f490c3412ad527f5c2109277943955846227c65d..48f8642729bf97d607ee069815f0ed0d52770436 100644 (file)
@@ -7,3 +7,4 @@ manual
 *.pg
 *.tp
 *.vr
+gnunet gnunet.html