diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-28 14:35:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-28 14:35:18 +0200 |
commit | bd12dc33d9991e69cc4cb9de187bca13d7108c58 (patch) | |
tree | 797400cea35c9f9d30e0e1a5b85a6f98176c5b23 /modules/gridmap/grid_map_editor_plugin.cpp | |
parent | 38a4d6da98bbd7a39e9adc442247ad46eaa5c56e (diff) | |
parent | 42e70a77ef4bb48d9b5832de7bd61adfb6952c21 (diff) |
Merge pull request #38704 from aaronfranke/mono-dotgodot
Rename the ".mono" folder to ".godot/mono"
Diffstat (limited to 'modules/gridmap/grid_map_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions