| commit | ee265f16b32ebdfdc436ef4c3a6be25bdb88f885 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Nov 25 14:23:47 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Nov 25 14:23:47 2010 +0000 |
| tree | 529d93d50381aed49a9a1b24383914c88676ae75 | |
| parent | e1baef027e39b63fec4c39bf228b67098c50eca4 [diff] |
code cleanup: remove old stuff incl. a workaround to a compiler bug. document context and necessity of adaptation.