Vladimír Čunát f37566d396 bash 4.4: split headers into .dev		2016-09-17 10:51:32 +02:00
..
4.3.nix	bash: bring back 4.3 for the non-interactive version	2016-09-17 10:49:28 +02:00
4.4.nix	bash 4.4: split headers into .dev	2016-09-17 10:51:32 +02:00
bash-4.3-patches.nix	bash: bring back 4.3 for the non-interactive version	2016-09-17 10:49:28 +02:00
bash-4.4-patches.nix	Add bash-4.4-patches.nix	2016-09-16 22:06:55 +02:00
cygwin-bash-4.3.33-1.src.patch	cygwin: bash updated to 4.3 for cygwin platform	2015-05-29 10:18:06 +02:00
update-patch-set.sh