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>2018-01-10 17:08:15 +0300
committerlluis <lluis@xamarin.com>2018-01-10 17:08:15 +0300
commitf0198d46b8703f23c002f1f0f2fc0f936bf1f3af (patch)
tree47aed287a25404f5469a7e7be1916da65931111e /main/external/mono-addins
parent85b36cb489bca74ed7b9d392b40be24dc74ea59f (diff)
Updated reference to mono/mono-addins@e1a23bd
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 d37823ce3da7e74edd56124a2b1f2551dd083de
+Subproject e1a23bdc041eeeeea35100de192932410b6b09f