summaryrefslogtreecommitdiff
path: root/doc/man
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-03-09 10:21:24 +0000
committerng0 <ng0@n0.is>2019-03-09 10:21:24 +0000
commitb3461ff4a34fb86a1c1a6979f1900a67f7dc41eb (patch)
tree6db5f2c5d39caa88d836028c7d939489c62d2933 /doc/man
parentc5f1ccc86f1453440a92c0a67c47dace247d40f3 (diff)
ignore
Signed-off-by: ng0 <ng0@n0.is>
Diffstat (limited to 'doc/man')
-rw-r--r--doc/man/.gitignore1
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 @@
gnunet.conf.5
+groff_lint.log