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:
authormarius.ungureanu <marius.ungureanu@xamarin.com>2018-08-02 21:22:36 +0300
committermarius.ungureanu <marius.ungureanu@xamarin.com>2018-08-02 21:22:36 +0300
commitb8231cef5e7a7c9e45dc11201843d61d07498857 (patch)
tree127aedf3fbc7235bcd94657df956c8fd2ecd638a /main/external/mono-addins
parent457c333e7a5c6c9226badc3242eea448f2dd4d53 (diff)
Updated reference to mono/mono-addins@8450b7c
Diffstat (limited to 'main/external/mono-addins')
m---------main/external/mono-addins0
1 files changed, 0 insertions, 0 deletions
diff --git a/main/external/mono-addins b/main/external/mono-addins
-Subproject a543fa0011098232041c99bc5acb6416cb4acbe
+Subproject 8450b7c8777816dbb6f810a5982f6bd43105c7a