Project

General

Profile

« Previous | Next » 

Revision 3c2c16c0

ID3c2c16c0693ea5115a356090add14a5aff255391
Parent 0504b50c
Child aa56d121

Added by Katja Luther 5 months ago

ref #8062: add editorPreferencePredicates to PreferencePredicates and create enums

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)