Index of /repositories/devel:

 Name                    Last modified      Size  
 Parent Directory                             -   
 languages:/             06-Sep-2008 07:22    -   
 libraries:/             15-Aug-2008 13:32    -   
 tools/                  11-Jun-2008 01:14    -   
 tools:/                 05-Nov-2007 00:51    -   
 translation/            19-Aug-2008 17:12    -   
 updatestack/            02-Oct-2008 01:25    -