Revision 0c5520e0
fix #6219: delete of synonyms is performed with save in name editor
Files
- added
- modified
- copied
- renamed
- deleted
ID | 0c5520e0eeb9abc0d9519f10f63f035802bde735 |
Parent | 6056b407 |
Child | 86f1dea4 |
Added by Katja Luther almost 3 years ago
fix #6219: delete of synonyms is performed with save in name editor