Skip to content
Snippets Groups Projects
Commit 4c4e3418 authored by dgelessus's avatar dgelessus
Browse files

Remove duplicate category.xml under org.eventb.texteditor.feature

parent 52c6623a
Branches
Tags
No related merge requests found
<?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>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment