Project

General

Profile

« Previous | Next » 

Revision 185eb33b

ID185eb33bd906d1c761bb71b4cbc3e3882a2f70df
Parent a213a051
Child e6f7451a

Added by Katja Luther 8 months ago

ref #7849: improve DB preference handling and use editorpreferencePredicates keys also for local preferences

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)