diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-10-24 21:03:42 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-10-24 21:03:42 +0200 |
| commit | 532d4a24e2013262dfa41fd85c06a9715c99abf7 (patch) | |
| tree | 3b7f4fac1e983ead408c20a2f330b41aa2399ab1 /doc/.gitignore | |
| parent | a1bdcfa3ca8af4ddb69ee57d716aa943cf3fe94a (diff) | |
New upstream version 4.7upstream/4.7
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 |