Project

General

Profile

« Previous | Next » 

Revision 0c5520e0

Added by Katja Luther about 6 years ago

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

  • added
  • modified
  • copied
  • renamed
  • deleted