diff --git a/org.eventb.texteditor.repository/category.xml b/org.eventb.texteditor.repository/category.xml index 86bae61761c2705a81d6d4ec97e1df84c7dd3b95..2cc64c1d7a49ae5f5e37e3db4e21d082d32dce01 100644 --- a/org.eventb.texteditor.repository/category.xml +++ b/org.eventb.texteditor.repository/category.xml @@ -6,7 +6,7 @@ <category-def name="org.eventb.texteditor.feature.category" label="Camille Text Editor"> <description> -null + A text editor for the Rodin platform to edit Event-B models. </description> </category-def> </site>