Index of /pub/misc2/isdn/istec

      Name                                               Last modified       Size  Description


[DIR] Parent Directory                                   27-Mar-1998 15:22      -  
[   ] estic                                                                     -
Apache/1.3.27 Server at ftp.gwdg.de Port 80