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

	Name	Last modified	Size
	Parent Directory		-
	LATEST-IS-3.13.2	2014-07-26 16:54	1.3M
	gedit-plugins-3.13.0.changes	2014-06-24 19:38	7.3K
	gedit-plugins-3.13.0.news	2014-06-24 19:38	346
	gedit-plugins-3.13.0.sha256sum	2014-06-24 19:38	281
	gedit-plugins-3.13.0.tar.xz	2014-06-24 19:38	1.2M
	gedit-plugins-3.13.1.changes	2014-07-22 22:42	5.1K
	gedit-plugins-3.13.1.news	2014-07-22 22:42	388
	gedit-plugins-3.13.1.sha256sum	2014-07-22 22:42	281
	gedit-plugins-3.13.1.tar.xz	2014-07-22 22:42	1.2M
	gedit-plugins-3.13.2.changes	2014-07-26 16:54	1.5K
	gedit-plugins-3.13.2.news	2014-07-26 16:54	157
	gedit-plugins-3.13.2.sha256sum	2014-07-26 16:54	281
	gedit-plugins-3.13.2.tar.xz	2014-07-26 16:54	1.3M