Index of /pub/mpi-bpc/dep_060
Name
Last modified
Size
Description
Parent Directory
06-Jul-2000 11:36 -
Apache/1.3.27 Server at ftp.gwdg.de Port 80
Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 06-Jul-2000 11:36 -