diff options
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/debian/patches/series b/debian/patches/series index c6f165561..350a48b39 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,4 +1,2 @@ replace-texi2html-with-makeinfo -cherry-pick-d397599cea5aa39492e5914c876a3991b8543445-apt-completion -cherry-pick-60bedea3e712178beac392af1ca6ed7291630459-apt-mark-completion -cherry-pick-7f6dc0fe8e3c9aaec8aa295cc4459eabb8f2ada2-INC_APPEND_HISTORY_TIME +texi2html-conf-source-dir-vs-build-dir |