closes #1149: fix alignment of developer tools category in preferences
parent
df40ec970e
commit
1aef61266b
Loading…
Reference in New Issue