Revision e00917d5
ref #7367 Use TermDeletionConfigurator in term editor
Files
- added
- modified
- copied
- renamed
- deleted
ID | e00917d5fba9337322e61573860bca52e011afcf |
Parent | ab71093a |
Child | 794f1010, b3f2ffb6 |
Added by Patrick Plitzner about 2 years ago
ref #7367 Use TermDeletionConfigurator in term editor