Index of /pub/GNOME/sources/gedit-plugins/3.10/

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