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 'Core/src/MonoDevelop.Documentation/MonoDevelop.Documentation.addin.xml')
-rw-r--r--Core/src/MonoDevelop.Documentation/MonoDevelop.Documentation.addin.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/Core/src/MonoDevelop.Documentation/MonoDevelop.Documentation.addin.xml b/Core/src/MonoDevelop.Documentation/MonoDevelop.Documentation.addin.xml
index d65ea04192..848aaee257 100644
--- a/Core/src/MonoDevelop.Documentation/MonoDevelop.Documentation.addin.xml
+++ b/Core/src/MonoDevelop.Documentation/MonoDevelop.Documentation.addin.xml
@@ -6,7 +6,7 @@
description = "Integrates the Mono documentation browser (Monodoc) into the MonoDevelop IDE"
category = "IDE extensions"
version = "0.13.0"
- compatVersion = "0.10.0">
+ compatVersion = "0.13.0">
<Runtime>
<Import assembly="MonoDevelop.Documentation.dll"/>