Name Last modified Size Description Parent Directory 18-Nov-1999 15:30 - bash-info.ps 07-Apr-1993 06:27 161k bash-info.tar.gz 07-Apr-1993 06:00 37k GZIP compressed docume> bash-manual.dvi 20-May-1992 22:23 120k bash-manual.ps 07-Apr-1993 06:18 298k