Index of /pub/unix/systems/Linux/GNOME/sources/gedit-plugins/3.13

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gedit-plugins-3.13.2.news2014-07-26 16:54 157  
[   ]gedit-plugins-3.13.0.sha256sum2014-06-24 19:38 281  
[   ]gedit-plugins-3.13.1.sha256sum2014-07-22 22:42 281  
[   ]gedit-plugins-3.13.2.sha256sum2014-07-26 16:54 281  
[   ]gedit-plugins-3.13.0.news2014-06-24 19:38 346  
[   ]gedit-plugins-3.13.1.news2014-07-22 22:42 388  
[   ]gedit-plugins-3.13.2.changes2014-07-26 16:54 1.5K 
[   ]gedit-plugins-3.13.1.changes2014-07-22 22:42 5.1K 
[   ]gedit-plugins-3.13.0.changes2014-06-24 19:38 7.3K 
[   ]gedit-plugins-3.13.1.tar.xz2014-07-22 22:42 1.2M 
[   ]gedit-plugins-3.13.0.tar.xz2014-06-24 19:38 1.2M 
[   ]LATEST-IS-3.13.22014-07-26 16:54 1.3M 
[   ]gedit-plugins-3.13.2.tar.xz2014-07-26 16:54 1.3M 

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