commit | 9ade599ffe4bc12380b851cbfbdd56505cd38fef | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Aug 11 12:03:29 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Aug 11 12:03:29 2011 +0000 |
tree | 8663ac9efe40d964a9ecddef1c24a5e445b03736 | |
parent | d6c282ecaea0ba85c7d12f1033d812d5f7ed1ed8 [diff] |
J2SE-1.5 is enough for this project (and don't store OT-specific options)