Project

General

Profile

« Previous | Next » 

Revision 7b179f56

ID7b179f568172320789260f76997e1c3c688845f5
Parent c975a066
Child 2856f9d1

Added by Katja Luther over 3 years ago

fix #6308: fix correct deletion handling of synonyms and misapplications and the right messages when delete a synonym with not deletable name

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)