| commit | 887dc01aa0b4d56141a6b13a2ed65df8832f5f20 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Sep 11 15:15:28 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Sep 11 15:15:28 2010 +0000 |
| tree | ec338b3f94e9b7cdfe3dfd4ded96d7ec50d1d70b | |
| parent | 3260d5130bbf16d37c8aae923fc1646ae0a0f0d1 [diff] |
document a debug-time observation