diff options
| author | Noshyaar | 2018-01-01 18:42:37 +0700 |
|---|---|---|
| committer | GitHub | 2018-01-01 18:42:37 +0700 |
| commit | 0ac7c0b1afb530076cca7fdc0ec152646eea9846 (patch) | |
| tree | 414234ae24c1943b06e41de15f5e40f3a26ced56 /misc/scripts/addheader.py | |
| parent | 8dcc28254c9695e9e13b3a1f4d7b2b3e97363dc3 (diff) | |
| parent | 03beb9ac7de87ef2fc0ea3c50c2217a0cbd48453 (diff) | |
| download | godot-0ac7c0b1afb530076cca7fdc0ec152646eea9846.tar.gz godot-0ac7c0b1afb530076cca7fdc0ec152646eea9846.tar.zst godot-0ac7c0b1afb530076cca7fdc0ec152646eea9846.zip | |
Merge pull request #15101 from nounoursheureux/master
Make filesystem search case-insensitive
Diffstat (limited to 'misc/scripts/addheader.py')
0 files changed, 0 insertions, 0 deletions