Manuele Simi c4e88ece3e Remove repositories from settings.xml.		2019-05-21 23:07:13 -04:00
..
gcube-developer	Remove repositories from settings.xml.	2019-05-21 23:07:13 -04:00
jenkins-releases	Remove repositories from settings.xml.	2019-05-21 23:07:13 -04:00
jenkins-snapshots	Remove repositories from settings.xml.	2019-05-21 23:07:13 -04:00