Andrea Dell'Amico 1079453b88 Jenkins: add a new tag specific to the maven settings tasks.		2019-05-07 18:39:49 +02:00
..
defaults	Jenkins role: automate the initialization, create an admin user.	2019-05-01 16:35:13 +02:00
tasks	Jenkins: add a new tag specific to the maven settings tasks.	2019-05-07 18:39:49 +02:00