some changes to the interface
Description
Description
Details
Details
- Committed
sacchi Nov 6 2017, 20:09 - Pushed
sacchi Nov 6 2017, 20:09 - Parents
- R4897:43b96a2034c1: improve interface and fix minor bugs
- Branches
- Unknown
- Tags
some changes to the interface
sacchi | Nov 6 2017, 20:09 |
sacchi | Nov 6 2017, 20:09 |