diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-07-17 12:05:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-17 12:05:29 +0200 |
commit | 4fe63ed7a345bde9417ed25abe4d241579bb20de (patch) | |
tree | e225513ff1f5e5d400397e6e61888710f291fbad /core/dictionary.cpp | |
parent | 80b2a47022de40b1e14aa7ef119006cb035dbc5d (diff) | |
parent | 7f31cbda4fcd974fd72e61eb33074abd75b0e195 (diff) |
Merge pull request #9642 from kubecz3k/checkbox-fix
Fix uncheckable checkboxes in RMB menu. closes #9625
Diffstat (limited to 'core/dictionary.cpp')
0 files changed, 0 insertions, 0 deletions