Index of /gnome/sources/gedit-plugins/3.10

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 gedit-plugins-3.10.0.news      2013-09-23 19:50  524   
 gedit-plugins-3.10.0.sha256sum 2013-09-23 19:50  186   
 gedit-plugins-3.10.0.tar.xz    2013-09-23 19:50  1.2M  
 LATEST-IS-3.10.1               2013-12-03 23:06  1.2M  
 gedit-plugins-3.10.1.news      2013-12-03 23:06  210   
 gedit-plugins-3.10.1.sha256sum 2013-12-03 23:06  186   
 gedit-plugins-3.10.1.tar.xz    2013-12-03 23:06  1.2M

Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80