diff options
Diffstat (limited to 'manual/.gitignore')
| -rw-r--r-- | manual/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/manual/.gitignore b/manual/.gitignore deleted file mode 100644 index b336cc7c..00000000 --- a/manual/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/Makefile -/Makefile.in |