Juergen Daubert 9dfafc0408 bash: update to 5.1.12

2021-11-18 12:36:43 +01:00

..

.footprint

bash: move man-pages to /usr/share/man

2015-07-25 19:28:55 +02:00

.signature

bash: update to 5.1.12

2021-11-18 12:36:43 +01:00

bash-5.1.12.patch.gz

bash: update to 5.1.12

2021-11-18 12:36:43 +01:00

Pkgfile

bash: update to 5.1.12

2021-11-18 12:36:43 +01:00

profile

bash: remove charset definitions from /etc/profile

2014-04-23 18:34:00 +02:00