| commit | db4377d0584328e867d17bf32284ad85e227143a | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Mar 19 15:53:14 2013 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Mar 19 15:53:14 2013 +0100 |
| tree | 244ca63634805c70bd55923374fefb8bb7dc07ea | |
| parent | 662da834319db2fa3444169f03ddae2392b85457 [diff] |
Encoding of JDT-tests has been changed - follow suit