Revision 52d76872
ref #8124: adapt editor to be able to edit NameFacts
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 52d76872a44e2d574be3e5fa3366874589f4bac2 |
| Parent | 1b28edc1 |
| Child | ddc5d7b6 |
Added by Katja Luther over 1 year ago
ref #8124: adapt editor to be able to edit NameFacts