diff options
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 |