5 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
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
Andrey A. Chernov	cc9f952c04	Ok, if anybody really needs bash_builtins.1 (which is almost ... useles), here PROPER fix and re-enabling it again. Please, step over on ports owned by me only if you 100% shure.	1995-10-04 20:39:50 +00:00