| commit | 267c5d39f1cbc328a5e49dd5b2cf0751edde7963 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Jul 02 11:40:52 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Jul 02 11:40:52 2010 +0000 |
| tree | 10d7fb2df78a4f7874fc724e953bfca5011d1d78 | |
| parent | 7c84ef3678ff5bc5081db341e00b22821f017cdc [diff] |
make the callin marker creator cancellable