diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-07-12 18:03:23 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-07-12 18:03:23 +0400 |
commit | d23b0a76cf81dc52f6c698ed8d9377dcd3636ca4 (patch) | |
tree | e5eb8978bb89629078f34d2aa4203e19b70f582d /main/src/addins/GnomePlatform | |
parent | 8c80f09a1fd58046d745f723e0d64b2d130f5820 (diff) |
Updated add-ins version to 4.1.7
Diffstat (limited to 'main/src/addins/GnomePlatform')
-rw-r--r-- | main/src/addins/GnomePlatform/GnomePlatform.addin.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/main/src/addins/GnomePlatform/GnomePlatform.addin.xml b/main/src/addins/GnomePlatform/GnomePlatform.addin.xml index 08c8168da6..e059010cff 100644 --- a/main/src/addins/GnomePlatform/GnomePlatform.addin.xml +++ b/main/src/addins/GnomePlatform/GnomePlatform.addin.xml @@ -7,15 +7,15 @@ description = "GNOME Platform Support for MonoDevelop" category = "MonoDevelop Core" flags = "Hidden" - version = "4.1.4"> + version = "4.1.7"> <Runtime> <Import assembly="GnomePlatform.dll"/> </Runtime> <Dependencies> - <Addin id="Core" version="4.1.4"/> - <Addin id="Ide" version="4.1.4"/> + <Addin id="Core" version="4.1.7"/> + <Addin id="Ide" version="4.1.7"/> </Dependencies> <Extension path = "/MonoDevelop/Core/PlatformService"> |