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 progress-linux/0001-default-path.patch