Revision f665e780
ref #6429: adapt admin preferences to other preferences
Files
- added
- modified
- copied
- renamed
- deleted
ID | f665e7800b1cef26e26ddbac51a714db9a2ec076 |
Parent | b2765124 |
Child | 921ff608 |
Added by Katja Luther over 2 years ago
ref #6429: adapt admin preferences to other preferences