diff options
| author | Tomasz Chabora <kobewi4e@gmail.com> | 2019-12-30 23:42:39 +0100 |
|---|---|---|
| committer | Tomasz Chabora <kobewi4e@gmail.com> | 2019-12-30 23:42:39 +0100 |
| commit | 54f70b6b506ee460e6ef2f986158fe5abe696ae6 (patch) | |
| tree | 4346f8887e8e778aee2a1998e193071dc0573405 /editor/plugins | |
| parent | 5fa1905131bc20e8a4a939d0edf8370091c88a50 (diff) | |
Fix argument type in set_follow_focus()
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions