| commit | 74c8bd0654043ebf8328d012882d2b318f112cb4 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu May 19 21:04:19 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu May 19 21:04:19 2011 +0000 |
| tree | 7332ba2a273afd76247eefce66835bbcd7bf2111 | |
| parent | e4853d339cfdd88b94659964c42ece57f8c98c39 [diff] |
This indeed made it as our 2.0.0 RC1