diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-31 12:43:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-31 12:43:09 +0100 |
| commit | c8e7036bc11a72e359a0954809af5b9cee341dfd (patch) | |
| tree | 4346f8887e8e778aee2a1998e193071dc0573405 /misc/scripts/fix_headers.py | |
| parent | 5fa1905131bc20e8a4a939d0edf8370091c88a50 (diff) | |
| parent | 54f70b6b506ee460e6ef2f986158fe5abe696ae6 (diff) | |
| download | redot-engine-c8e7036bc11a72e359a0954809af5b9cee341dfd.tar.gz | |
Merge pull request #34707 from KoBeWi/omg
Fix argument type in set_follow_focus()
Diffstat (limited to 'misc/scripts/fix_headers.py')
0 files changed, 0 insertions, 0 deletions