Index of /gnome/sources/gedit-plugins/3.30

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 gedit-plugins-3.30.0.news      2018-09-03 01:59   88   
 gedit-plugins-3.30.1.news      2018-09-24 19:59  138   
 gedit-plugins-3.30.0.sha256sum 2018-09-03 01:59  186   
 gedit-plugins-3.30.1.sha256sum 2018-09-24 19:59  186   
 gedit-plugins-3.30.0.tar.xz    2018-09-03 01:59  1.3M  
 LATEST-IS-3.30.1               2018-09-24 19:59  1.3M  
 gedit-plugins-3.30.1.tar.xz    2018-09-24 19:59  1.3M

Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80