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

Icon  Name                          Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] gedit-plugins-43.1.news 2022-11-03 13:15 89 [   ] gedit-plugins-43.0.sha256sum 2022-11-03 11:22 182 [   ] gedit-plugins-43.1.sha256sum 2022-11-03 13:15 182 [   ] gedit-plugins-43.0.news 2022-11-03 11:22 357 [   ] LATEST-IS-43.1 2022-11-03 13:15 892K [   ] gedit-plugins-43.1.tar.xz 2022-11-03 13:15 892K [   ] gedit-plugins-43.0.tar.xz 2022-11-03 11:22 892K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443