| commit | 63e4eea42828e1f52b7eeef49eb4493e0b80e8c6 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Nov 28 09:44:20 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Nov 28 09:44:20 2010 +0000 |
| tree | da0a17d0bbac6e751d35d896f6b0733e25266e2c | |
| parent | 7f4417843f06467593ef265e1927709f19dd5949 [diff] |
make dependency on org.objectteams/ explicit, even if currently used only in javadoc (interestingly this broke headless build but compiled fine in the IDE)