diff options
author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2015-01-17 00:28:07 +0300 |
---|---|---|
committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2015-01-17 00:28:44 +0300 |
commit | 4814e85a3dec78b7f0244dd71a8307a5472b6620 (patch) | |
tree | 0158f3e62a2e90af9aa50e72d9a8efed3748c1e9 | |
parent | 76c83686a697758db16d35d962d42b15376891ab (diff) |
[md-addins] WatchKit build-before-run fixmonodevelop-5.7.1.47
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 4cb04c1518..a83c01aa62 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]=25050cc12c7007612582b6ad43111c9a1ad2a248 +DEP_NEEDED_VERSION[0]=549f6d5a2e4899941a566e4919ecff13f6a5e793 DEP_BRANCH_AND_REMOTE[0]="watchkit origin/watchkit" # heap-shot |