Index of /pub/gnome/sources/devhelp/3.20

	Name	Last modified	Size	Description
	Parent Directory		-
	LATEST-IS-3.20.0	2016-03-20 16:08	478K
	devhelp-3.20.0.news	2016-03-20 16:08	174
	devhelp-3.20.0.sha256sum	2016-03-20 16:08	174
	devhelp-3.20.0.tar.xz	2016-03-20 16:08	478K