diff options
| -rw-r--r-- | doc/pdf/.gitignore (renamed from pdf/.gitignore) | 0 | ||||
| -rw-r--r-- | doc/pdf/Makefile (renamed from pdf/Makefile) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/pdf/.gitignore b/doc/pdf/.gitignore index a1363379..a1363379 100644 --- a/pdf/.gitignore +++ b/doc/pdf/.gitignore diff --git a/pdf/Makefile b/doc/pdf/Makefile index 91de32b7..91de32b7 100644 --- a/pdf/Makefile +++ b/doc/pdf/Makefile |