diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-03T02·12+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-03T02·12+0000 |
| commit | 363f40022f08b3a7f5571574ddecf785db39584a (patch) | |
| tree | 3e3223ac46669db23b7f3a27c61ead9c34efbf62 /aterm-gc.supp | |
| parent | 7951c3c5460324c652d42f5f92bcae44e0a0b9c7 (diff) | |
* Pid::kill() should be interruptable.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions