Project

General

Profile

« Previous | Next » 

Revision 9fc64ad5

ID9fc64ad56b0d2b91fbca53e83b5e02a0bdce4ac5
Parent 639e7a63
Child 6cd6cbd2

Added by Andreas Müller over 1 year ago

fix #7514 update symbols for MAN and ppSynonyms

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)