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-04-18 00:39:15 +0400
committerwww-data <www-data@pipeline.internalx.com>2013-04-18 00:39:15 +0400
commitffbce2ced07984a862ea8feabeac32244fce4250 (patch)
tree11dc5d2a76f8f82e0b78abbdec7a330399ba1a38 /main/src/addins/GnomePlatform
parent77fbd2def4455b06e04065a36a0ab3d5b337a306 (diff)
Updated add-ins version to 4.1.1
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 8e62ed325e..e22197a431 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.0">
+ version = "4.1.1">
<Runtime>
<Import assembly="GnomePlatform.dll"/>
</Runtime>
<Dependencies>
- <Addin id="Core" version="4.1.0"/>
- <Addin id="Ide" version="4.1.0"/>
+ <Addin id="Core" version="4.1.1"/>
+ <Addin id="Ide" version="4.1.1"/>
</Dependencies>
<Extension path = "/MonoDevelop/Core/PlatformService">