Index of /pub/GNOME/sources/gedit-plugins/3.22/
Name Last modified Size
Parent Directory - LATEST-IS-3.22.0 2016-09-18 15:37 1.3M gedit-plugins-3.22.0.news 2016-09-18 15:37 137 gedit-plugins-3.22.0.sha256sum 2016-09-18 15:37 186 gedit-plugins-3.22.0.tar.xz 2016-09-18 15:37 1.3M