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

	Name	Last modified	Size
	Parent Directory		-
	LATEST-IS-3.5.2	2012-09-19 18:08	1.3M
	gedit-plugins-3.5.1.news	2012-08-18 15:27	429
	gedit-plugins-3.5.1.sha256sum	2012-08-18 15:27	184
	gedit-plugins-3.5.1.tar.xz	2012-08-18 15:27	1.3M
	gedit-plugins-3.5.2.news	2012-09-19 18:08	389
	gedit-plugins-3.5.2.sha256sum	2012-09-19 18:08	184
	gedit-plugins-3.5.2.tar.xz	2012-09-19 18:08	1.3M