Index of /pub/GNOME/sources/gedit-plugins/3.10

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]LATEST-IS-3.10.12013-12-03 23:06 1.2M
[   ]gedit-plugins-3.10.0.news2013-09-23 19:50 524
[SUM]gedit-plugins-3.10.0.sha256sum2013-09-23 19:50 186
[ARC]gedit-plugins-3.10.0.tar.xz2013-09-23 19:50 1.2M
[   ]gedit-plugins-3.10.1.news2013-12-03 23:06 210
[SUM]gedit-plugins-3.10.1.sha256sum2013-12-03 23:06 186
[ARC]gedit-plugins-3.10.1.tar.xz2013-12-03 23:06 1.2M

Apache/2.4.39 (Unix) Server at ftp.acc.umu.se Port 80