Closed mtrberzi closed 10 years ago
For consistency with manifold-core et al.
Coverage remained the same when pulling d6ca0b4c15635c02e86c9893434d607980a21d4f on mtrberzi:jacoco-check into 485227d92cea98a9442aed30324ea7182b54c4e4 on manifold-lang:master.
For consistency with manifold-core et al.