Closed pmelchior closed 4 years ago
somehow the code for the union of two boxes got duplicated. This PR removes the duplicate.
somehow the code for the union of two boxes got duplicated. This PR removes the duplicate.