Index of /Public/GNOME/sources/gedit-plugins/3.35

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]LATEST-IS-3.35.902020-01-31 13:16 956K
[   ]gedit-plugins-3.35.1.news2019-11-22 10:39 209
[SUM]gedit-plugins-3.35.1.sha256sum2019-11-22 10:39 186
[ARC]gedit-plugins-3.35.1.tar.xz2019-11-22 10:39 955K
[   ]gedit-plugins-3.35.90.news2020-01-31 13:16 219
[SUM]gedit-plugins-3.35.90.sha256sum2020-01-31 13:16 188
[ARC]gedit-plugins-3.35.90.tar.xz2020-01-31 13:16 956K

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