diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-02-24 12:46:16 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-02-24 12:46:16 +0100 |
commit | bf03eee236924f68b1ff16a1a31e04f82e247ee7 (patch) | |
tree | 6141f1f974143ac75159ca7ece3b2eee9ecee760 /debian/patches/series | |
parent | 5cbe7aab1e49318dc4c561eee1e387653304409e (diff) |
New d/p/0120-Disable_option_docs.patch
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index abbd0fe..7ede85b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ 0001-paps.patch 0500-r7406_also_consider_the_back_tick_as_an_illegal_shell_escape_character.patch 0115-Fix_text_filter.patch +0120-Disable_option_docs.patch |