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

 Name                          Last modified      Size  Description
 Parent Directory                                   -   
 LATEST-IS-46.0                2023-07-29 09:48  876K  
 gedit-plugins-46.0.news       2023-07-29 09:48  102   
 gedit-plugins-46.0.sha256sum  2023-07-29 09:48  182   
 gedit-plugins-46.0.tar.xz     2023-07-29 09:48  876K

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