Revision e056e66e
fix #8226: add new preferences for modifiers
Files
- added
- modified
- copied
- renamed
- deleted
| ID | e056e66eb1fd2b32b4f2fa71bed1ce0496c6af22 |
| Parent | ae492166 |
| Child | 2b4872ec |
Added by Katja Luther over 1 year ago
fix #8226: add new preferences for modifiers