Index of /gnome/sources/gnome-menus/3.13

 Name                         Last modified      Size  Description
 Parent Directory                                  -   
 LATEST-IS-3.13.3             2014-08-06 16:00  395K  
 gnome-menus-3.13.3.changes   2014-08-06 16:00  2.1K  
 gnome-menus-3.13.3.news      2014-08-06 16:00  466   
 gnome-menus-3.13.3.sha256sum 2014-08-06 16:00  275   
 gnome-menus-3.13.3.tar.xz    2014-08-06 16:00  395K

Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443