Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
00f75e1d935a8e2246b523e3469b22d4a75241cd
/
contrib
/
org.eclipse.objectteams.jdt.nullity.feature
/
build.properties
e57451e
separate out non-OTDT projects like the nullity prototype
by Stephan Herrmann
· 14 years ago
[Renamed from features/org.eclipse.objectteams.jdt.nullity.feature/build.properties]
c133990
- implement general preference org.eclipse.jdt.core.compiler.annotation.nulldefault
by Stephan Herrmann
· 14 years ago
54560f2
OT/Equinox version of patch v7: https://bugs.eclipse.org/bugs/attachment.cgi?id=186890 (Feature)
by Stephan Herrmann
· 14 years ago