diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-06-15 01:41:18 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-06-15 01:41:18 +0000 |
| commit | afac97b82181e2db14226d854761e53c66d98094 (patch) | |
| tree | a3c61f6b04359f4ce0289bd4ba0863467cc2ea66 /src/HelpFile | |
| parent | 3efba2f5cc795bd4bbf65224d2c20ce92f6f4a5f (diff) | |
Block SIGINT while running gfInteract, as suggested by Peter.
Diffstat (limited to 'src/HelpFile')
0 files changed, 0 insertions, 0 deletions