diff options
author | Nils Gillmann <ng0@n0.is> | 2018-06-13 08:05:15 +0000 |
---|---|---|
committer | Nils Gillmann <ng0@n0.is> | 2018-06-13 08:05:15 +0000 |
commit | 5c7f4f919d2569f49e4223d77000452dd2ec4e97 (patch) | |
tree | 8cec76a5dda6b034d1e5b85eee76a43fafd8a4a5 /doc/.gitignore | |
parent | 1f7a2dd68d1e6260fad4af042878c0a07d39bc12 (diff) | |
parent | 8503c6fa26449228fa691c1dedfe3ca1a8d0b9ba (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/.gitignore | 2 |
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 |