| commit | ca194b0b66900f9409f3745323bd05508236b99a | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jul 05 23:45:30 2012 +0200 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jul 05 23:45:30 2012 +0200 |
| tree | 9ad6aa140b60ab8db160c6b97928872b4a3dd8cf | |
| parent | 053f2b423231dac7b131bbd1fed42e088a4d479f [diff] |
while building against 4.2 adjust to the changed final name.