diff options
| author | Rémi Verschelde | 2018-03-13 11:27:43 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-13 11:27:43 +0100 |
| commit | 40aa97d2c89f7bc4d19e5754c947af11ff3435d9 (patch) | |
| tree | 709dfdf3daa012004bccefe5d6e555d238d695b6 /misc/scripts/fix_headers.py | |
| parent | ada1357dfd5d2d3a1955531c3d16de4255e1b3dc (diff) | |
| parent | 188ccf190ba398ef9d3f661016f15cc005505c26 (diff) | |
| download | godot-40aa97d2c89f7bc4d19e5754c947af11ff3435d9.tar.gz godot-40aa97d2c89f7bc4d19e5754c947af11ff3435d9.tar.zst godot-40aa97d2c89f7bc4d19e5754c947af11ff3435d9.zip | |
Merge pull request #17413 from ShyRed/previewfix
Update preview on filesystem change
Diffstat (limited to 'misc/scripts/fix_headers.py')
0 files changed, 0 insertions, 0 deletions