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>2013-05-03 02:11:44 +0400
committerwww-data <www-data@pipeline.internalx.com>2013-05-03 02:11:44 +0400
commita002943fbe9dfc610d1b194bfdc5bff1e76caa60 (patch)
tree525c4215844fb032ab09f53c4f3ffc3872b2a355 /main/src/addins/GnomePlatform
parent6c12c93ee62fae7368cc3a1180780582f9f060d2 (diff)
Updated add-ins version to 4.0.6
Diffstat (limited to 'main/src/addins/GnomePlatform')
-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 bd78c9f6c5..8ab52363ca 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.0">
+ version = "4.0.6">
<Runtime>
<Import assembly="GnomePlatform.dll"/>
</Runtime>
<Dependencies>
- <Addin id="Core" version="4.0"/>
- <Addin id="Ide" version="4.0"/>
+ <Addin id="Core" version="4.0.6"/>
+ <Addin id="Ide" version="4.0.6"/>
</Dependencies>
<Extension path = "/MonoDevelop/Core/PlatformService">