diff options
author | therzok <marius.ungureanu@xamarin.com> | 2019-01-11 23:01:30 +0300 |
---|---|---|
committer | therzok <marius.ungureanu@xamarin.com> | 2019-01-11 23:01:31 +0300 |
commit | f185a347d5f94b54d478bc6f8bc220efac815cf5 (patch) | |
tree | aa94d834cf1c30fda998a0fdf5ed54556568b8d8 /main/external/fsharpbinding | |
parent | 434788af85b822b1c7a3ac44667cb4aea903b5d6 (diff) |
Disable F# by default
Enables usage of Preferences dialog.
Opened https://dev.azure.com/devdiv/DevDiv/_workitems/edit/765368 to track this
Diffstat (limited to 'main/external/fsharpbinding')
-rw-r--r-- | main/external/fsharpbinding/MonoDevelop.FSharpBinding/Properties/AddinInfo.fs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/external/fsharpbinding/MonoDevelop.FSharpBinding/Properties/AddinInfo.fs b/main/external/fsharpbinding/MonoDevelop.FSharpBinding/Properties/AddinInfo.fs index 7a70449da1..f648994c26 100644 --- a/main/external/fsharpbinding/MonoDevelop.FSharpBinding/Properties/AddinInfo.fs +++ b/main/external/fsharpbinding/MonoDevelop.FSharpBinding/Properties/AddinInfo.fs @@ -5,6 +5,7 @@ open Mono.Addins Namespace = "MonoDevelop", Version = MonoDevelop.BuildInfo.Version, Url = "http://github.com/fsharp/xamarin-monodevelop-fsharp-addin/", + EnabledByDefault = false, Category = "Language bindings")>] [<AddinName ("F# Language Binding")>] |