Wetitpig 7ddcce5701 No backticks		2019-02-15 18:01:09 +02:00
..
bash.patch
build.sh	No backticks	2019-02-15 18:01:09 +02:00
config-top.h.patch	bash: fix default PATH	2018-06-22 00:45:29 +02:00
etc_hosts_and_profile_path.patch
etc-bash.bashrc	make PS1 dynamic and shell-specific	2018-06-22 01:11:37 +02:00
etc-profile	bash: Read ~/.bashrc for interactive login shells	2016-11-24 20:34:55 -05:00
getpwd.patch.disabled
y.tab.c.patch