Project

General

Profile

« Previous | Next » 

Revision 9dfd3706

ID9dfd3706bcc09730a3b64d6b12a264b587c52a2e
Parent 37373dbd
Child ae137b34

Added by Patrick Plitzner almost 4 years ago

fix #3603 Avoid creation of dummy DefinedTerm

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)