Small cleanup, based on a change from one of Philip's old patches
Description
Description
Details
Details
- Committed
Itms May 16 2015, 11:39 AM - Parents
- rP16652: petra now try to regain capture points of its own structure, plus some bug fixes
- Branches
- Unknown
- Tags