diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-04 07:37:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-04 07:37:25 +0200 |
| commit | 4da56495202847cf22bca9874593a4ed15da05e6 (patch) | |
| tree | 68c330f6e32ba278d9c10d839c99013fb01d0585 /modules/mono/editor/GodotTools | |
| parent | 01c48aba42a63bd021552b892784a0c1e71a75ec (diff) | |
| parent | 3ba3cd7b615b7c9b403c9cdde98dd6c6dd18bfa2 (diff) | |
Merge pull request #32532 from homer666/projectsettings-docs-window
Improve Project Settings window size docs
Diffstat (limited to 'modules/mono/editor/GodotTools')
0 files changed, 0 insertions, 0 deletions