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:
m---------main/external/fsharpbinding10
1 files changed, 5 insertions, 5 deletions
diff --git a/main/external/fsharpbinding b/main/external/fsharpbinding
-Subproject b6688146e514401dd46ce46c6ab8ac8d9ff989f
+Subproject 4383d9978cc26d98e08a531add2dd6498b3025f