diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-11-09 12:13:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-09 12:13:11 +0100 |
| commit | bc6ec58456c2ca68ca1866a5375050041b838402 (patch) | |
| tree | 6b71447870f57c755ddd44c43d526f4bf55b4442 /doc/classes/ProjectSettings.xml | |
| parent | 8a15e404b24c4c7ea66a71da5197fdb61c00b854 (diff) | |
| parent | 071829acc5b80eea1c0bae1ea92fcc0a688221d8 (diff) | |
Merge pull request #47600 from qarmin/enable_mono_editor
Diffstat (limited to 'doc/classes/ProjectSettings.xml')
| -rw-r--r-- | doc/classes/ProjectSettings.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/classes/ProjectSettings.xml b/doc/classes/ProjectSettings.xml index 30409814d2..205987f5be 100644 --- a/doc/classes/ProjectSettings.xml +++ b/doc/classes/ProjectSettings.xml @@ -1315,8 +1315,6 @@ </member> <member name="mono/profiler/enabled" type="bool" setter="" getter="" default="false"> </member> - <member name="mono/project/auto_update_project" type="bool" setter="" getter="" default="true"> - </member> <member name="mono/unhandled_exception_policy" type="int" setter="" getter="" default="0"> </member> <member name="navigation/2d/default_cell_size" type="int" setter="" getter="" default="10"> |