Revision eeaf651a
ref #6390: fix display of misapplied names in name editor
Files
- added
- modified
- copied
- renamed
- deleted
ID | eeaf651af291e2fcea8f2573c51a67ecc1733927 |
Parent | eb057b29 |
Child | 97623d1d |
Added by Katja Luther over 3 years ago
ref #6390: fix display of misapplied names in name editor