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

 Name                          Last modified      Size  Description
 Parent Directory                                   -   
 LATEST-IS-41.0                2022-02-16 15:18  926K  
 gedit-plugins-41.0.news       2022-02-16 15:18  103   
 gedit-plugins-41.0.sha256sum  2022-02-16 15:18  182   
 gedit-plugins-41.0.tar.xz     2022-02-16 15:18  926K

Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443