diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-10-28 23:27:31 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-10-28 23:27:31 +0400 |
commit | d07d532dfe121566d1a5f3247eb4336251a5db0a (patch) | |
tree | b51af93c5cdf05df43b66a7afbdc1d519ff0545a /main/src/addins/Deployment/MonoDevelop.Deployment/MonoDevelop.Deployment.addin.xml | |
parent | ed9f06e8a2b7ab9b1d2bcfba5a121bf63a68fb3c (diff) |
Updated add-ins version to 4.1.13
Diffstat (limited to 'main/src/addins/Deployment/MonoDevelop.Deployment/MonoDevelop.Deployment.addin.xml')
-rw-r--r-- | main/src/addins/Deployment/MonoDevelop.Deployment/MonoDevelop.Deployment.addin.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/main/src/addins/Deployment/MonoDevelop.Deployment/MonoDevelop.Deployment.addin.xml b/main/src/addins/Deployment/MonoDevelop.Deployment/MonoDevelop.Deployment.addin.xml index 40168e66b5..19b7f8c6ac 100644 --- a/main/src/addins/Deployment/MonoDevelop.Deployment/MonoDevelop.Deployment.addin.xml +++ b/main/src/addins/Deployment/MonoDevelop.Deployment/MonoDevelop.Deployment.addin.xml @@ -6,14 +6,14 @@ url = "http://www.monodevelop.com" description = "Provides basic deployment services" category = "Deployment" - version = "4.1.7" + version = "4.1.13" flags = "Hidden" compatVersion = "4.0"> <Dependencies> - <Addin id="Core" version="4.1.7"/> - <Addin id="Ide" version="4.1.7"/> - <Addin id="DesignerSupport" version="4.1.7"/> + <Addin id="Core" version="4.1.13"/> + <Addin id="Ide" version="4.1.13"/> + <Addin id="DesignerSupport" version="4.1.13"/> </Dependencies> <Extension path = "/MonoDevelop/Ide/Commands"> |