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 about 4 years ago
ref #6390: fix display of misapplied names in name editor