• Nicholas Lundgaard's avatar
    Remove covertool from repo · ccd3d7ed
    Nicholas Lundgaard authored
    This plugin isn’t actually used by any existing process, and really only has value in the context of Jenkins/some other Cobertura processing tool, which this isn’t integrated to at all. So, just remove it.
    ccd3d7ed