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 about 3 years ago
ref #6429: adapt admin preferences to other preferences