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-01-08 18:56:44 +0300
committerlluis <lluis@xamarin.com>2019-01-08 18:56:44 +0300
commit08c57d8e22732deab1b0b5a4785d2a1ff54efb36 (patch)
tree3bf4e78c03f0b6035ce4482283c32e4ead3638fa /main/external/mono-addins
parent03a99c90fdd70053c2dd1bb8f8bb92136e72371d (diff)
Updated reference to mono/mono-addins@74ce91a
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 8450b7c8777816dbb6f810a5982f6bd43105c7a
+Subproject 74ce91a1ce523d95bf4ab1c81f3290855f2b772