diff options
| author | Rusty Wagner <rusty@vector35.com> | 2019-03-21 17:30:25 -0400 |
|---|---|---|
| committer | Rusty Wagner <rusty@vector35.com> | 2019-03-21 17:30:25 -0400 |
| commit | 4d4dcbadf59bcd96d50bb3db541fc01b7267718f (patch) | |
| tree | 336c15f7a31ddfdc19ede8c8299ade928e4f1f41 /python/platform.py | |
| parent | 357e8742c40869baf6a89b9491d2b5b824695267 (diff) | |
Fix global keybindings that are not in menus, fix crash on exit in snippets plugin
Diffstat (limited to 'python/platform.py')
0 files changed, 0 insertions, 0 deletions