Project

General

Profile

« Previous | Next » 

Revision 79ff2176

ID79ff21760290d51c2f9b1121f965ca071d5167e9
Parent 625c14de
Child 0c1509cb

Added by Andreas Müller 24 days ago

ref #7470 add verbatim type designation / TextTypeDesignation

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)