geonetwork/core-geoserver — pull request #3 by pmauduit (2014-06-24 13:19:57+00:00)
Title: Activating Maven reporting tools

This PR is related to this one:
https://github.com/geonetwork/core-geonetwork/pull/565