diff --git a/org.rodinp.handbook.repository/category.xml b/org.rodinp.handbook.repository/category.xml new file mode 100644 index 0000000000000000000000000000000000000000..01a1fe76c3a7c0ea389f6b50686fe0c5bd6fa11d --- /dev/null +++ b/org.rodinp.handbook.repository/category.xml @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<site> + <feature url="features/org.rodinp.handbook.feature_2.5.0.qualifier.jar" id="org.rodinp.handbook.feature" version="2.5.0.qualifier"> + <category name="org.rodinp.handbook.feature.category"/> + </feature> + +<category-def name="org.rodinp.handbook.feature.category" label="Rodin Handbook"> + <description> +null + </description> + </category-def> + +</site>