diff --git a/org.eventb.texteditor.feature/category.xml b/org.eventb.texteditor.feature/category.xml
deleted file mode 100644
index 32e3567f12a337b76a48faec82fc4d23fc0c2eef..0000000000000000000000000000000000000000
--- a/org.eventb.texteditor.feature/category.xml
+++ /dev/null
@@ -1,7 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<site>
-   <feature url="features/org.eventb.texteditor.feature_3.4.1.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.1.qualifier">
-      <category name="camille"/>
-   </feature>
-   <category-def name="camille" label="camille"/>
-</site>