| commit | 2cde4ecdcfa43e528f686598d794b273914cdffb | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Jul 23 22:13:34 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Jul 23 22:13:34 2011 +0000 |
| tree | 22a1880274ad364271df86765e386d3b845c3550 | |
| parent | 631def1671f9ef6a7103bd531de4e5c4b8251073 [diff] |
document background info behind previous commit.