Revision f2a17eb8
ref #7163: adapt labels and structure in local preferences
Files
- added
- modified
- copied
- renamed
- deleted
| ID | f2a17eb8ee97125ba5fb2363cc3af3510f9fee2f |
| Parent | 1415c660 |
| Child | 8d807eba |
Added by Katja Luther over 1 year ago
ref #7163: adapt labels and structure in local preferences