Index of /gnome/sources/gedit-plugins/3.30
Name Last modified Size Description
Parent Directory -
LATEST-IS-3.30.1 2018-09-24 19:59 1.3M
gedit-plugins-3.30.0.news 2018-09-03 01:59 88
gedit-plugins-3.30.0.sha256sum 2018-09-03 01:59 186
gedit-plugins-3.30.0.tar.xz 2018-09-03 01:59 1.3M
gedit-plugins-3.30.1.news 2018-09-24 19:59 138
gedit-plugins-3.30.1.sha256sum 2018-09-24 19:59 186
gedit-plugins-3.30.1.tar.xz 2018-09-24 19:59 1.3M
Apache/2.4.41 (Ubuntu) Server at www.gnu.ftp.uni-erlangen.de Port 80