diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-04-17 23:28:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-17 23:28:15 +0200 |
| commit | 474f18512aa45e8055f3b409846b8fa5e000878f (patch) | |
| tree | bb181dc926ec55aa0c051b6efe4d18aeafb39cd8 /platform/windows | |
| parent | 68d79b21c36ee2208970ee45471c4423ef32e3f1 (diff) | |
| parent | c06a2db63a85c23fa35058f5bfd62245ed998951 (diff) | |
Merge pull request #8375 from Hinsbart/project_extension
Use .godot as file extension for project files.
Diffstat (limited to 'platform/windows')
0 files changed, 0 insertions, 0 deletions