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:
authorAaron Bockover <abock@xamarin.com>2012-12-14 17:12:17 +0400
committerAaron Bockover <abock@xamarin.com>2012-12-14 17:12:17 +0400
commit5d928ec4f9d5864b4db04a1301b8a8649b43fb9d (patch)
treee854aa6eb45d8ffa47f9fc8fed745abe93147e31
parent0bdfcda44d5b400911817b6d7b4fefa67a6945e0 (diff)
bump version-checksmonodevelop-3.1.1
-rwxr-xr-xversion-checks2
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks
index 01e0e13155..f7d9be9615 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]=b4bbc0468429fedbf6220df8099a807249efc94e
+DEP_NEEDED_VERSION[0]=80f2dcc8fe4ed316b3e77dde496fc33d90305047
DEP_BRANCH_AND_REMOTE[0]="monodevelop-3.1-series origin/monodevelop-3.1-series"
# heap-shot