Project

General

Profile

« Previous | Next » 

Revision 0bfb1b18

Added by Patrick Plitzner over 5 years ago

ref #7827 Also remove generalizationOf if term is moved

  • added
  • modified
  • copied
  • renamed
  • deleted