aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-06-13 08:05:15 +0000
committerNils Gillmann <ng0@n0.is>2018-06-13 08:05:15 +0000
commit5c7f4f919d2569f49e4223d77000452dd2ec4e97 (patch)
tree8cec76a5dda6b034d1e5b85eee76a43fafd8a4a5 /doc/.gitignore
parent1f7a2dd68d1e6260fad4af042878c0a07d39bc12 (diff)
parent8503c6fa26449228fa691c1dedfe3ca1a8d0b9ba (diff)
Merge branch 'master' of gnunet.org:gnunet
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index c56a90359f..b12f3e008b 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -19,4 +19,4 @@ gnunet.t2p/
gnunet-c-tutorial.t2p/
*.t2p/
documentation/manuals
-.\#* \ No newline at end of file
+.\#*doxygen/gnunet.tag