Index of /pub/X11/GNOME/sources/gedit-plugins/3.7

 Name                                  Last modified      Size  
 Parent Directory                                           -   
 LATEST-IS-3.7.1                       2013-01-27 22:34  712K  
 gedit-plugins-3.7.1.news              2013-01-27 22:34  390   
 gedit-plugins-3.7.1.sha256sum         2013-01-27 22:34  184   
 gedit-plugins-3.7.1.tar.xz            2013-01-27 22:34  712K