Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 1ed1bc4bd1b068ca44f93541747423d4faec1029 / features / org.eclipse.objectteams.jdt.nullity.feature / category.xml
  1. 1ed1bc4 define a category for display in the p2 UI by Stephan Herrmann ยท 13 years ago