Index of /pub/doc/infodrom

      Name                                               Last modified       Size  Description


[DIR] Parent Directory                                   01-Jun-2006 14:14      -  
[DIR] doc/                                               12-Apr-2001 23:39      -  
[DIR] texte/                                             12-Apr-2001 23:39      -
Apache/1.3.27 Server at ftp.gwdg.de Port 80