diff options
Diffstat (limited to 'man')
-rw-r--r-- | man/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/man/.gitignore b/man/.gitignore deleted file mode 100644 index 8a8c90ca..00000000 --- a/man/.gitignore +++ /dev/null @@ -1 +0,0 @@ -defs.rst |