Index of /departments/rg1

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 JARS17/                 2018-08-09 16:51    -   
 conferences/            2020-05-06 11:26    -   
 events/                 2017-07-05 10:28    -   
 software/               2008-12-02 12:46    -

Apache/2.4.38 (Debian) Server at resources.mpi-inf.mpg.de Port 443