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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]LATEST-IS-3.31.902019-02-03 23:45 1.4M 
[   ]gedit-plugins-3.31.4.news2019-01-10 04:51 328  
[   ]gedit-plugins-3.31.4.sha256sum2019-01-10 04:51 186  
[   ]gedit-plugins-3.31.4.tar.xz2019-01-10 04:51 1.4M 
[   ]gedit-plugins-3.31.90.news2019-02-03 23:45 188  
[   ]gedit-plugins-3.31.90.sha256sum2019-02-03 23:45 188  
[   ]gedit-plugins-3.31.90.tar.xz2019-02-03 23:45 1.4M 

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