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