Revision c8edc5c9
ref #6927: add symbol to preferences of distribution editor
Files
- added
- modified
- copied
- renamed
- deleted
ID | c8edc5c92239846bae5990f6a39d7e732e2fec88 |
Parent | e98bd118 |
Child | 10b4eb6d |
Added by Katja Luther over 3 years ago
ref #6927: add symbol to preferences of distribution editor