Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXamarin Release Manager <release-manager@xamarin.com>2012-03-30 01:37:06 +0400
committerwww-data <www-data@pipeline.internalx.com>2012-03-30 01:37:06 +0400
commit15bf7acd14b9b1d822697bfc10d9944093aec214 (patch)
tree7d23c9a57cad98f07b8dad4e33e980bec3a10de1 /main/src/addins/GnomePlatform/GnomePlatform.addin.xml
parent1e14c92b13bc2774663c4e5db29eb6d80bcc3ff2 (diff)
Updated add-ins version to 2.9.3
Diffstat (limited to 'main/src/addins/GnomePlatform/GnomePlatform.addin.xml')
-rw-r--r--main/src/addins/GnomePlatform/GnomePlatform.addin.xml6
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 520fe848c5..83435b6508 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 = "2.9.2">
+ version = "2.9.3">
<Runtime>
<Import assembly="GnomePlatform.dll"/>
</Runtime>
<Dependencies>
- <Addin id="Core" version="2.9.2"/>
- <Addin id="Ide" version="2.9.2"/>
+ <Addin id="Core" version="2.9.3"/>
+ <Addin id="Ide" version="2.9.3"/>
</Dependencies>
<Extension path = "/MonoDevelop/Core/PlatformService">