diff options
| author | Rémi Verschelde | 2018-03-13 11:01:28 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-13 11:01:28 +0100 |
| commit | 08415d0f53ba0f4a6f0b500454d8268c57a598a4 (patch) | |
| tree | e2fa3df1c41e80c7801dfd2763b6cc0e73bf0ae2 /misc/scripts/fix_headers.py | |
| parent | 66877d62736980cfb1d7b2f40ebbcaee5514f8c5 (diff) | |
| parent | fa760082f5e219104acba93a63521460463f92f8 (diff) | |
| download | godot-08415d0f53ba0f4a6f0b500454d8268c57a598a4.tar.gz godot-08415d0f53ba0f4a6f0b500454d8268c57a598a4.tar.zst godot-08415d0f53ba0f4a6f0b500454d8268c57a598a4.zip | |
Merge pull request #17319 from eska014/polyclipper-toolsonly
Build polygon clipper only in tools builds
Diffstat (limited to 'misc/scripts/fix_headers.py')
0 files changed, 0 insertions, 0 deletions