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

	Name	Last modified	Size
	Parent Directory		-
	LATEST-IS-3.7.1	2013-01-27 14:34	712K
	gedit-plugins-3.7.1.news	2013-01-27 14:34	390
	gedit-plugins-3.7.1.sha256sum	2013-01-27 14:34	184
	gedit-plugins-3.7.1.tar.xz	2013-01-27 14:34	712K