Juergen Daubert e4e8da5472 bash: update to 4.4.19

2018-02-07 18:15:12 +01:00

..

.footprint

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

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

.md5sum

bash: update to 4.4.19

2018-02-07 18:15:12 +01:00

.signature

bash: update to 4.4.19

2018-02-07 18:15:12 +01:00

bash-4.4.19.patch.gz

bash: update to 4.4.19

2018-02-07 18:15:12 +01:00

Pkgfile

bash: update to 4.4.19

2018-02-07 18:15:12 +01:00

profile

bash: remove charset definitions from /etc/profile

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