diff options
author | Mike Krüger <mkrueger@xamarin.com> | 2011-11-02 10:03:16 +0400 |
---|---|---|
committer | Mike Krüger <mkrueger@xamarin.com> | 2011-11-02 10:03:16 +0400 |
commit | f8e9e1d90d2fb0a859c5682636ee4a8a4e20271b (patch) | |
tree | 5beda2a492ea7e26083947f2309eb5302a85491b /main/src/addins/GnomePlatform | |
parent | fc54ca49eda7af3e9c119256a3b583d03816e103 (diff) | |
parent | b639f9d5574d8b4e6fadfd9012e111165af39643 (diff) |
Merge branch 'master' into newresolver
Conflicts:
main/src/addins/CSharpBinding/MonoDevelop.CSharp.Completion/CSharpTextEditorCompletion.cs
main/src/addins/CSharpBinding/MonoDevelop.CSharp.Highlighting/CSharpSyntaxMode.cs
main/src/addins/CSharpBinding/MonoDevelop.CSharp.Highlighting/HighlightUsagesExtension.cs
main/src/addins/CSharpBinding/MonoDevelop.CSharp.Resolver/TextEditorResolverProvider.cs
main/src/addins/CSharpBinding/MonoDevelop.CSharp/CSharpAmbience.cs
main/src/core/MonoDevelop.Ide/ExtensionModel/MonoDevelop.Ide.addin.xml
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 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"> |