Index of /Public/gnome/sources/gedit-plugins/3.10

[ICO]NameLast modifiedSize

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

Apache/2.4.58 (Unix) Server at cdimage.debian.org Port 80