Index of /gnome/sources/gedit-plugins/3.32
Name Last modified Size Description
Parent Directory -
LATEST-IS-3.32.2 2019-05-15 03:46 1.4M
gedit-plugins-3.32.0.news 2019-03-11 01:28 88
gedit-plugins-3.32.0.sha256sum 2019-03-11 01:28 186
gedit-plugins-3.32.0.tar.xz 2019-03-11 01:28 1.4M
gedit-plugins-3.32.2.news 2019-05-15 03:46 302
gedit-plugins-3.32.2.sha256sum 2019-05-15 03:46 186
gedit-plugins-3.32.2.tar.xz 2019-05-15 03:46 1.4M
Apache/2.4.41 (Ubuntu) Server at www.gnu.ftp.uni-erlangen.de Port 80