diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-06-04 00:12:41 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-06-04 00:12:41 +0400 |
commit | e5a25e03dcbbe43cbffe914a817168e88bbb60eb (patch) | |
tree | 610618504fcf2a9c335bca6082c32d5fae0445dd /main/src/addins/GnomePlatform | |
parent | 124a1e4f7110f898151890d1dfdeab95b9d6745a (diff) |
Updated add-ins version to 4.1.4
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 afff6236a8..08c8168da6 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.3"> + version = "4.1.4"> <Runtime> <Import assembly="GnomePlatform.dll"/> </Runtime> <Dependencies> - <Addin id="Core" version="4.1.3"/> - <Addin id="Ide" version="4.1.3"/> + <Addin id="Core" version="4.1.4"/> + <Addin id="Ide" version="4.1.4"/> </Dependencies> <Extension path = "/MonoDevelop/Core/PlatformService"> |