Andrea Dell'Amico 1079453b88 Jenkins: add a new tag specific to the maven settings tasks.		2019-05-07 18:39:49 +02:00
..
common	Jenkins: add a new tag specific to the maven settings tasks.	2019-05-07 18:39:49 +02:00
master	Jenkins role: automate the initialization, create an admin user.	2019-05-01 16:35:13 +02:00
slave	Fix the cron job tasks that must be installed on the slaves.	2019-05-01 18:06:47 +02:00