9 Commits

Author	SHA1	Message	Date
David E. O'Brien	cd8572268b	Bash version 1.17 was much more popular than I thought. ... (deleted to save space on the CDROM since I thought few were still using it)	1999-03-30 01:31:43 +00:00
David E. O'Brien	7ed77ab1fd	Delete the bash 1.17 port. It served us well as we transitioned to bash ... version 2.	1999-03-29 11:42:32 +00:00
Masafumi Max NAKANE	3ffd020bff	In documentation subdirectory, let ``make all'' build only the info ... files.	1997-06-16 10:42:18 +00:00
Satoshi Asami	1b266ec86a	Roll this back to 1.14.7.	1997-01-02 07:00:25 +00:00
Andrey A. Chernov	48748db13a	Upgrade to 2.0	1996-12-27 11:40:57 +00:00
Satoshi Asami	9f04437b09	Hand-edit patch to install bash_builtins.1. ... Submitted by: Chet Ramey <chet@odin.INS.CWRU.Edu>	1995-10-04 14:45:43 +00:00
Andrey A. Chernov	8977909673	Upgrade 1.14.4 -> 1.14.5 ... Reviewed by: Submitted by: Obtained from:	1995-07-19 17:44:37 +00:00
Andrey A. Chernov	e698ac8230	Upgrade to final release. ... File name not changed since beta, so you need to re-fetch bash	1995-01-06 21:30:24 +00:00
Andrey A. Chernov	890071c2a5	Upgrade to 1.14.3	1994-12-12 02:18:01 +00:00