about summary refs log tree commit diff
path: root/AUTHORS
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-12-03T00·52+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-12-03T00·52+0000
commit714fa24cfb5afeb144549e0cc4808cc2a1c459cf (patch)
tree97faccbf4a0390ee2452a313a5d34cad70e45458 /AUTHORS
parente25fad691aa3ccb492c4fb8840289f76151e553e (diff)
* Run the worker in a separate session to prevent terminal signals
  from interfering.

Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions