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

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