Changes

Summary

1. Change the distro management to work with Jenkins. (details)

Commit 4f434f42e1366b9e60d04b9b755df155ae12d475 by csj Change the distro management to work with Jenkins.
	pom.xml (diff)