diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-03T00·52+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-03T00·52+0000 |
| commit | 714fa24cfb5afeb144549e0cc4808cc2a1c459cf (patch) | |
| tree | 97faccbf4a0390ee2452a313a5d34cad70e45458 /aterm-gc.supp | |
| parent | e25fad691aa3ccb492c4fb8840289f76151e553e (diff) | |
* Run the worker in a separate session to prevent terminal signals
from interfering.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions