From db2318745e998afe6fcc63083917f84d9249e57b Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 5 Jul 2023 17:03:21 +0200
Subject: [PATCH] Fix category description
---
org.eventb.texteditor.repository/category.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/org.eventb.texteditor.repository/category.xml b/org.eventb.texteditor.repository/category.xml
index 86bae61..2cc64c1 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>
--
GitLab