From 6220cecdcfed228633f2360595998f59f603cf42 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 29 Apr 2016 14:57:15 +0200
Subject: [PATCH] add missing file from old build

---
 org.rodinp.handbook.repository/category.xml | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 org.rodinp.handbook.repository/category.xml

diff --git a/org.rodinp.handbook.repository/category.xml b/org.rodinp.handbook.repository/category.xml
new file mode 100644
index 0000000..01a1fe7
--- /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>
-- 
GitLab