diff options
Diffstat (limited to 'main/src/addins/GnomePlatform/GnomePlatform.addin.xml')
| -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 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"> |