diff options
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/ExtensionModel')
| -rw-r--r-- | main/src/core/MonoDevelop.Ide/ExtensionModel/GlobalOptionsDialog.addin.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Ide/ExtensionModel/GlobalOptionsDialog.addin.xml b/main/src/core/MonoDevelop.Ide/ExtensionModel/GlobalOptionsDialog.addin.xml index 4cac3efd8d..e986a87a30 100644 --- a/main/src/core/MonoDevelop.Ide/ExtensionModel/GlobalOptionsDialog.addin.xml +++ b/main/src/core/MonoDevelop.Ide/ExtensionModel/GlobalOptionsDialog.addin.xml @@ -38,6 +38,7 @@ <Section id = "VersionControl" _label = "Version Control" /> <Section id = "Other" _label = "Other"> + <Section id = "SdkLocations" _label = "SDK Locations" /> <Section id = "MonoDevelopMaintenance" _label = "MonoDevelop Maintenance" class = "MonoDevelop.Ide.Gui.OptionPanels.MaintenanceOptionsPanel" /> </Section> </Extension> |