diff options
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..79f764c --- /dev/null +++ b/debian/patches/series @@ -0,0 +1,25 @@ +bash51-001.diff +bash51-002.diff +bash51-003.diff +bash51-004.diff +bash51-014.diff +bashbug-editor.diff +deb-bash-config.diff +deb-examples.diff +man-arithmetic.diff +man-fignore.diff +man-bashrc.diff +man-bashlogout.diff +man-nocaseglob.diff +man-test.diff +man-test2.diff +rbash-manpage.diff +bash-default-editor.diff +input-err.diff +exec-redirections-doc.diff +bash-aliases-repeat.diff +# no-brk-caching.diff +use-system-texi2html.diff +bzero.diff +man-macro-warnings.diff +man-vx-opts.diff |