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:
authorLluis Sanchez <lluis@novell.com>2010-08-12 18:14:39 +0400
committerLluis Sanchez <lluis@novell.com>2010-08-12 18:15:35 +0400
commit92ba9f86193ab45fe4e1a570bf263139b84305b5 (patch)
tree78dc67a5f2a46e519ae03b6d3297c871223b42d3 /main/src/addins/GnomePlatform
parent6d8fcd244ebb1ed9a31cf82af8ab6b5e9024d8dc (diff)
Adjust the visibility and category of some add-ins.
Diffstat (limited to 'main/src/addins/GnomePlatform')
-rw-r--r--main/src/addins/GnomePlatform/GnomePlatform.addin.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/main/src/addins/GnomePlatform/GnomePlatform.addin.xml b/main/src/addins/GnomePlatform/GnomePlatform.addin.xml
index 37c81abbe4..01f9c4536e 100644
--- a/main/src/addins/GnomePlatform/GnomePlatform.addin.xml
+++ b/main/src/addins/GnomePlatform/GnomePlatform.addin.xml
@@ -6,7 +6,7 @@
url = "http://monodevelop.com/"
description = "GNOME Platform Support for MonoDevelop"
category = "MonoDevelop Core"
- flags = "CantUninstall,CantDisable"
+ flags = "Hidden"
version = "2.4">
<Runtime>