diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-06-06 08:05:59 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-06-06 08:05:59 +0200 |
| commit | 8eb738e7d6005ffd5e6cbb1ae80316ed0da6e3f9 (patch) | |
| tree | 47a4aa89729639e3c8ad744a4258d46f561ff62d | |
| parent | d38342d597d5c8f1ac2e068f8babe1d05b840d05 (diff) | |
ignore tag file
| -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 |