Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornosami <jasonimison@gmail.com>2016-05-03 12:33:02 +0300
committernosami <jasonimison@gmail.com>2016-05-03 12:33:02 +0300
commitc7423fee22bd714c256e8d04d852e663f6705084 (patch)
treea53b50caba9de2fd1c82bc6b88e7f9fbbc37463d /main/external/fsharpbinding/MonoDevelop.FSharp.Shared/MonoDevelop.FSharp.Shared.fsproj
parent70494a437c1b853e36d7c39efd6c4511e75378c1 (diff)
bump F#
Diffstat (limited to 'main/external/fsharpbinding/MonoDevelop.FSharp.Shared/MonoDevelop.FSharp.Shared.fsproj')
m---------main/external/fsharpbinding13
1 files changed, 5 insertions, 8 deletions
diff --git a/main/external/fsharpbinding b/main/external/fsharpbinding
-Subproject cb7ea0814ce61af6771d0b5ebb57ec4dabb748b
+Subproject ac12aad4a221af6a05d0cb7a4cfb38e84141382