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 over 2 years ago
fix #6219: delete of synonyms is performed with save in name editor