Project

General

Profile

« Previous | Next » 

Revision 185eb33b

Added by Katja Luther over 5 years ago

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

  • added
  • modified
  • copied
  • renamed
  • deleted