Closed gaioguy closed 2 years ago
renames RegularPartiton to BoxPartition
RegularPartiton
BoxPartition
renames
RegularPartiton
toBoxPartition