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

 Name                            Last modified      Size  Description
 Parent Directory                                     -   
 LATEST-IS-3.37.92               2020-09-04 13:55  953K  
 gedit-plugins-3.37.92.news      2020-09-04 13:55  140   
 gedit-plugins-3.37.92.sha256sum 2020-09-04 13:55  188   
 gedit-plugins-3.37.92.tar.xz    2020-09-04 13:55  953K

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