| commit | 3fc74598a84d49cf211ca4a4059de9f0ea0744be | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Oct 31 23:14:44 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Oct 31 23:14:44 2011 +0000 |
| tree | 62926b51f8a8853f66180295d73cab47ebb711ed | |
| parent | 4b5ae3ea0b8f7a15dcbcc292e70c70d27ce1451d [diff] |
previous commit caused a conflict with the jdt-nullity plugin, move constant to a free value