Wetitpig 5f07ac4eb9 Change permissions		2019-02-09 21:06:31 +02:00
..
bash.patch	Initial push	2015-06-13 01:03:31 +02:00
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	Initial push	2015-06-13 01:03:31 +02:00
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	Initial push	2015-06-13 01:03:31 +02:00
y.tab.c.patch	Initial push	2015-06-13 01:03:31 +02:00