diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-02-10 15:27:06 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-02-10 15:27:06 +0100 |
commit | 7501bff8432444b7ae8e7f3d9289c0d61f3f0b64 (patch) | |
tree | bd53603f464c3747e897a8996158a0fef7b41bc3 /doc/.gitignore | |
parent | 0f124df68d87c9073f76efeff1a901a69b1f3e13 (diff) | |
parent | 9e9336185f86bd97ff22f54e4d561c2cccccecf5 (diff) |
Merge branch 'release/debian/4.10-1'debian/4.10-1
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/.gitignore b/doc/.gitignore deleted file mode 100644 index 2789f42..0000000 --- a/doc/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -*.lyx~ -*.pdf |