commit 94bc346c2a420c10c7ae92b935d27107a791a3fa
author Stephan Herrmann <stephan@cs.tu-berlin.de> Sun Oct 23 14:51:32 2011 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> Sun Oct 23 14:51:32 2011 +0000
tree f9a6a520f3b95d0354cbc0dc8d031d9bdef92922
parent 8e84aed4b5e4eb0adccbe0a329009034031fdc8a

publishing as 0.9.0.qualifier

contrib/org.eclipse.objectteams.jdt.nullity.feature/category.xml

diff --git a/contrib/org.eclipse.objectteams.jdt.nullity.feature/category.xml b/contrib/org.eclipse.objectteams.jdt.nullity.feature/category.xml
index 21e2492..e7402c7 100644
--- a/contrib/org.eclipse.objectteams.jdt.nullity.feature/category.xml
+++ b/contrib/org.eclipse.objectteams.jdt.nullity.feature/category.xml
@@ -9,6 +9,9 @@
    <feature url="features/org.eclipse.objectteams.jdt.nullity.feature_0.8.0.qualifier.jar" id="org.eclipse.objectteams.jdt.nullity.feature" version="0.8.0.qualifier">
       <category name="org.eclipse.objectteams.jdt.enhancements"/>
    </feature>
+   <feature url="features/org.eclipse.objectteams.jdt.nullity.feature_0.9.0.qualifier.jar" id="org.eclipse.objectteams.jdt.nullity.feature" version="0.9.0.qualifier">
+      <category name="org.eclipse.objectteams.jdt.enhancements"/>
+   </feature>
    <category-def name="org.eclipse.objectteams.jdt.enhancements" label="JDT Enhancements">
      <description>
          Enhancements for the JDT developed using Object Teams.