Index of /pub/linux/doc/bash

      Name                                               Last modified       Size  Description

[DIR] 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

Apache/1.3.27 Server at ftp.gwdg.de Port 80