| commit | ce02c060eb2834d733f784f284ecb4f208e18316 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Apr 24 13:46:39 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Apr 24 13:46:39 2010 +0000 |
| tree | edb0651cb9367c5d56a40e55e6a836c3b527551a | |
| parent | d5116889e0edd287a0ca8b1bba4dd2d7db141675 [diff] |
follow-up of r222: JCLmin needs more classes.