Manuele Simi 136c61d982 Create different settings for each build profile.		2019-05-20 23:27:26 -04:00
..
gcube-developer	Create different settings for each build profile.	2019-05-20 23:27:26 -04:00
jenkins-releases	Create different settings for each build profile.	2019-05-20 23:27:26 -04:00
jenkins-snapshots	Create different settings for each build profile.	2019-05-20 23:27:26 -04:00