added possibility to delete concepts and exclude panels
Description
Description
Details
Details
- Committed
sacchi Jan 31 2018, 22:12 - Pushed
sacchi Jan 31 2018, 22:13 - Parents
- R4897:0cad1e3657c8: on the way to get a nice gui
- Branches
- Unknown
- Tags
- References
- newGui