Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 07f6926c8a91d8a159a5d9f051dbf4ec78587c78 / contrib / org.eclipse.objectteams.jdt.nullity / build.properties
  1. 1b387a3 add legal files 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 plugins/org.eclipse.objectteams.jdt.nullity/build.properties]
  3. f3b02a4 OT/Equinox version of patch v7: https://bugs.eclipse.org/bugs/attachment.cgi?id=186890 by Stephan Herrmann · 13 years ago