Revision 9dfd3706
fix #3603 Avoid creation of dummy DefinedTerm
Files
- added
- modified
- copied
- renamed
- deleted
ID | 9dfd3706bcc09730a3b64d6b12a264b587c52a2e |
Parent | 37373dbd |
Child | ae137b34 |
Added by Patrick Plitzner almost 4 years ago
fix #3603 Avoid creation of dummy DefinedTerm