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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gedit-plugins-3.10.0.tar.xz2013-09-23 19:50 1.2M 
[   ]gedit-plugins-3.10.1.tar.xz2013-12-03 23:06 1.2M 
[   ]LATEST-IS-3.10.12013-12-03 23:06 1.2M 
[   ]gedit-plugins-3.10.0.news2013-09-23 19:50 524  
[   ]gedit-plugins-3.10.1.news2013-12-03 23:06 210  
[   ]gedit-plugins-3.10.1.sha256sum2013-12-03 23:06 186  
[   ]gedit-plugins-3.10.0.sha256sum2013-09-23 19:50 186  

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443