| commit | 4132ce6691380de11d9498a21da8cac4b9232fb2 | [log] [tgz] |
|---|---|---|
| author | Luca Cristoforetti <cristofo@fbk.eu> | Wed Mar 18 17:14:32 2020 +0100 |
| committer | Luca Cristoforetti <cristofo@fbk.eu> | Wed Mar 18 17:14:32 2020 +0100 |
| tree | 8c356d26a685ddb01ec23203461b9f0b6f7ea9fc | |
| parent | 1269e823e2fff91d7de200191530b9e59f4c8976 [diff] |
Add checker manager plugin
