diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2017-04-29 12:57:20 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-29 12:57:20 -0300 |
| commit | ea9dd6c0c1997b2c6d8bba6caa1da965ef40804f (patch) | |
| tree | a5b1eb0bf609b1faa9b20ba32375323e15340216 /platform/bb10/bar | |
| parent | abe09919bf5664353bea904116c6bc5bb856cd7f (diff) | |
| parent | 6d2f985db494432e6d5194d5f7c2c00e7f099c55 (diff) | |
Merge pull request #8579 from godotengine/revert-8375-project_extension
Revert "Use .godot as file extension for project files."
Diffstat (limited to 'platform/bb10/bar')
0 files changed, 0 insertions, 0 deletions