2 Commits

Author	SHA1	Message	Date
Vladimír Čunát	f37566d396	bash 4.4: split headers into .dev	2016-09-17 10:51:32 +02:00
Vladimír Čunát	40a6918af3	bash: bring back 4.3 for the non-interactive version ... ... until someone looks better at the outputs. The size has grown in 4.4, and it seems like installing binary plugins, headers, etc.	2016-09-17 10:49:28 +02:00