tree 8c356d26a685ddb01ec23203461b9f0b6f7ea9fc
parent 1269e823e2fff91d7de200191530b9e59f4c8976
author Luca Cristoforetti <cristofo@fbk.eu> 1584548072 +0100
committer Luca Cristoforetti <cristofo@fbk.eu> 1584548072 +0100

Add checker manager plugin