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:
authorgreg.munn <greg.munn@xamarin.com>2017-05-12 22:45:04 +0300
committergreg.munn <greg.munn@xamarin.com>2017-05-12 22:45:04 +0300
commit445a7f09feca58babb966e0c66a6b299d0bd450c (patch)
tree8c2f8a7500d79a806d4c6dfa9cf14f7b91991bca
parent9263c856af081fe1dbfa7bbf9f4856deedfda9d9 (diff)
Updated reference to md-addinsmonodevelop-7.1.0.583
-rwxr-xr-xversion-checks2
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks
index ce1159c764..d753005119 100755
--- a/version-checks
+++ b/version-checks
@@ -17,7 +17,7 @@ DEP[0]=md-addins
DEP_NAME[0]=MDADDINS
DEP_PATH[0]=${top_srcdir}/../md-addins
DEP_MODULE[0]=git@github.com:xamarin/md-addins.git
-DEP_NEEDED_VERSION[0]=42029256ac89ded8ed2211aa7bda09debaefab7b
+DEP_NEEDED_VERSION[0]=f9b72ca5f6ca5d9476d8f58353ada2afd56c549b
DEP_BRANCH_AND_REMOTE[0]="d15-3-preview origin/d15-3-preview"
# heap-shot