Revision f53701cb
ref #7063: fix NPE in local preferences
Files
- added
- modified
- copied
- renamed
- deleted
ID | f53701cb5de080c810979b3b84dd450295377264 |
Parent | 67b5b870 |
Child | 84f5eea0 |
Added by Katja Luther over 2 years ago
ref #7063: fix NPE in local preferences