Index of /repository/public/releases/org/openconext/manage-server/3.1.0

	Name	Last modified	Size	Description
	Parent Directory		-
	manage-server-3.1.0.jar	2018-09-14 14:14	32M
	manage-server-3.1.0.pom	2018-09-14 14:14	11K
	manage-server-3.1.0.pom.sha1	2018-09-14 14:14	40
	manage-server-3.1.0.jar.sha1	2018-09-14 14:14	40
	manage-server-3.1.0.pom.md5	2018-09-14 14:14	32
	manage-server-3.1.0.jar.md5	2018-09-14 14:14	32