Closed kstarsinic closed 4 years ago
This prevents pitest from being identified by the Build Dashboard plugin.
Duplicate of #33?
This prevents pitest from being identified by the Build Dashboard plugin.