diff --git a/org.eventb.texteditor.repository/category.xml b/org.eventb.texteditor.repository/category.xml index 82a5babe1c340c853e8921ea8c707af2811317e9..ebdeb2ceba44d463daaf6ba9711cdd623ec991ca 100644 --- a/org.eventb.texteditor.repository/category.xml +++ b/org.eventb.texteditor.repository/category.xml @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <site> - <feature url="features/org.eventb.texteditor.feature_3.5.2.qualifier.jar" id="org.eventb.texteditor.feature" version="3.5.2.qualifier"> + <feature id="org.eventb.texteditor.feature" version="0.0.0"> <category name="org.eventb.texteditor.feature.category"/> </feature>