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

Icon  Name                          Last modified      Size  Description
[PARENTDIR] 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