Index of /java/jimi/docs/JIMI_overview_files

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 filelist.xml            1999-08-13 03:51  204   
 image001.gif            1999-08-13 03:51  4.3K  
 image002.gif            1999-08-13 03:51  6.6K

Apache/2.4.39 (Unix) Server at dev.cs.ovgu.de Port 80