diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-02-24 14:01:33 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-02-24 14:01:33 +0100 |
commit | fb1799c6d1cec4c80ba4fbb7abf2af3404cc75c4 (patch) | |
tree | 3d7c403f75368294d5e0b93a0e662928cf402f33 /debian/patches/0120-Disable_option_docs.patch | |
parent | 19edb7f8abe844f9eb1bcac31f15f0f27e65c25c (diff) |
New d/ppd-doc-extractor; refresh d/copyright
Diffstat (limited to 'debian/patches/0120-Disable_option_docs.patch')
-rw-r--r-- | debian/patches/0120-Disable_option_docs.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0120-Disable_option_docs.patch b/debian/patches/0120-Disable_option_docs.patch index 8471aff..62060f9 100644 --- a/debian/patches/0120-Disable_option_docs.patch +++ b/debian/patches/0120-Disable_option_docs.patch @@ -1,7 +1,7 @@ Description: Disable not available option docs Author: Jörg Frings-Fürst <debian@jff.email> Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1004417 -Forwarded: no +Forwarded: not-needed Last-Update: 2022-02-24 --- This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ |