diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-10-28 23:27:10 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-10-28 23:27:10 +0400 |
commit | ed9f06e8a2b7ab9b1d2bcfba5a121bf63a68fb3c (patch) | |
tree | a988cc82f2d78ff566b28b9fa3f6dc4bb82ce617 /extras/MonoDevelop.AddinAuthoring | |
parent | 38aa58fb63eefa9a6ab156ad374f7c6bd5b27011 (diff) |
Updated package version to 4.1.13
Diffstat (limited to 'extras/MonoDevelop.AddinAuthoring')
-rwxr-xr-x | extras/MonoDevelop.AddinAuthoring/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/MonoDevelop.AddinAuthoring/configure b/extras/MonoDevelop.AddinAuthoring/configure index a20fb3227f..1080980c0a 100755 --- a/extras/MonoDevelop.AddinAuthoring/configure +++ b/extras/MonoDevelop.AddinAuthoring/configure @@ -1,10 +1,10 @@ #!/usr/bin/env bash -VERSION=4.1.7 +VERSION=4.1.13 PACKAGE=monodevelop_addinauthoring prefix=/usr/local config=DEBUG configurations=" RELEASE DEBUG" -common_packages=" monodevelop;4.1.7 gtk-sharp-2.0;2.12.8 mono-addins-setup;0.4 mono-addins;0.5" +common_packages=" monodevelop;4.1.13 gtk-sharp-2.0;2.12.8 mono-addins-setup;0.4 mono-addins;0.5" usage () |