Wetitpig 5f07ac4eb9 Change permissions		2019-02-09 21:06:31 +02:00
..
bash.patch
build.sh	Change permissions	2019-02-09 21:06:31 +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
getpwd.patch.disabled
y.tab.c.patch