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

../
LATEST-IS-3.20.0                                   20-Mar-2016 18:09      1M
gedit-plugins-3.20.0.changes                       20-Mar-2016 18:09    3441
gedit-plugins-3.20.0.news                          20-Mar-2016 18:09     137
gedit-plugins-3.20.0.sha256sum                     20-Mar-2016 18:09     281
gedit-plugins-3.20.0.tar.xz                        20-Mar-2016 18:09      1M