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:
authorlluis <lluis@xamarin.com>2019-09-13 17:06:41 +0300
committermonojenkins <jo.shields+jenkins@xamarin.com>2019-09-13 20:48:10 +0300
commitb72fb638248d220c1f6ad7a8b153616503fe0db6 (patch)
treec66869656d2866b0563b989c2d4a4dc98230e3d5 /main/external
parent55ad0b6059d7831da09fa4300de24819e961b0a5 (diff)
Updated reference to mono/mono-addins@7e3cff2
Diffstat (limited to 'main/external')
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 5a5607d9969c25a472bcca422a8cc669d332058
+Subproject 7e3cff2085964a6677517bb84f1590cb70052ab