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:
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 048d3d0dde..a6133c4563 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.8.1">
+ version = "2.8.2">
<Runtime>
<Import assembly="GnomePlatform.dll"/>
</Runtime>
<Dependencies>
- <Addin id="Core" version="2.8.1"/>
- <Addin id="Ide" version="2.8.1"/>
+ <Addin id="Core" version="2.8.2"/>
+ <Addin id="Ide" version="2.8.2"/>
</Dependencies>
<Extension path = "/MonoDevelop/Core/PlatformService">