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-07-03 20:16:15 +0300
committermarius.ungureanu <marius.ungureanu@xamarin.com>2018-07-03 20:16:15 +0300
commitd66b25229b869b2dd81cf486d19620960a7c315d (patch)
treeed07dc7e22b6c289c5534d5cc18c971f4887066e /main/external/mono-addins
parent24e9017d1cb2fdc55fe90f68779325d7974b4d0a (diff)
Updated reference to mono/mono-addins@a543fa0
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 619d1f5f74d7f4cbd57b4f72eca2a0cb8dbc801
+Subproject a543fa0011098232041c99bc5acb6416cb4acbe