API change: replace rerumber_index with Renumber, and reorder* with Reorder
Description
Description
Details
Details
- Committed
tdegeus Mar 5 2019, 11:01 - Parents
- rGOOSEFEM66c18e47e7d1: Clean-up python interface; API change: generalised renumber and reorder
- Branches
- Unknown
- Tags