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

../
LATEST-IS-3.20.0                                   20-Mar-2016 18:09             1344188
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             1344188