diff options
-rw-r--r-- | doc/man/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/man/.gitignore b/doc/man/.gitignore index ffd69e11b..458457f42 100644 --- a/doc/man/.gitignore +++ b/doc/man/.gitignore | |||
@@ -1 +1,2 @@ | |||
1 | gnunet.conf.5 | 1 | gnunet.conf.5 |
2 | groff_lint.log | ||