Project

General

Profile

« Previous | Next » 

Revision 17b0c5e7

ID17b0c5e7b5ebc5dbe384f62928c3b394d5bb9ece
Parent 58525579
Child d11d4dd0

Added by Andreas Müller about 4 years ago

fix #6211 reduce initialization for synonymy

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)