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 dc770c1c1edc2d9da3ced539bb0f9ccf8cd89e5
+Subproject 9f10ceb96d822f1903bf3c856ba825e74355adc