diff options
author | ng0 <ng0@n0.is> | 2019-03-09 10:21:24 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-03-09 10:21:24 +0000 |
commit | b3461ff4a34fb86a1c1a6979f1900a67f7dc41eb (patch) | |
tree | 6db5f2c5d39caa88d836028c7d939489c62d2933 | |
parent | c5f1ccc86f1453440a92c0a67c47dace247d40f3 (diff) |
ignore
Signed-off-by: ng0 <ng0@n0.is>
-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 @@ gnunet.conf.5 +groff_lint.log |