Juergen Daubert 9276c4201d bash: update to 5.0.18

2020-07-16 15:04:34 +02:00

..

.footprint

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

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

.signature

bash: update to 5.0.18

2020-07-16 15:04:34 +02:00

bash-5.0.18.patch.gz

bash: update to 5.0.18

2020-07-16 15:04:34 +02:00

Pkgfile

bash: update to 5.0.18

2020-07-16 15:04:34 +02:00

profile

bash: remove charset definitions from /etc/profile

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