Project

General

Profile

« Previous | Next » 

Revision 0c5520e0

ID0c5520e0eeb9abc0d9519f10f63f035802bde735
Parent 6056b407
Child 86f1dea4

Added by Katja Luther over 1 year ago

fix #6219: delete of synonyms is performed with save in name editor

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)