1. cffa0e2 new version for the feature by Stephan Herrmann · 13 years ago
  2. e57451e separate out non-OTDT projects like the nullity prototype by Stephan Herrmann · 13 years ago[Renamed from features/org.eclipse.objectteams.jdt.nullity.feature/category.xml]
  3. 3b36879 bump up to 0.7.1 for second upload. by Stephan Herrmann · 13 years ago
  4. 1ed1bc4 define a category for display in the p2 UI by Stephan Herrmann · 13 years ago