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 Sanchez Gual <lluis@xamarin.com>2014-03-06 15:24:34 +0400
committerLluis Sanchez Gual <lluis@xamarin.com>2014-03-06 15:24:34 +0400
commit760ef98516b78238e332fa9a4fc7fcecf659954b (patch)
treebf0b83fe569defce699deed85a563af863536587 /main/external
parent7c4150df7804e2cdbf231dcf6c2decd8258c7f7f (diff)
Bump mono-addins to include fix for bug #15204
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 f21821cb82e8525ba3899c9840f24f3de5e3d99
+Subproject 387f8db55c0d4bb542c979945411dc62f7eb6e0