diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-05-23 15:16:28 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-05-23 15:16:28 +0000 |
| commit | 53bfa43a5820e0ac6cceb01b57776ae01b3b92f1 (patch) | |
| tree | e29707cb9f68f09d457ec18394183b8e487d43f6 /src-3.0/GF/Compile | |
| parent | 0b80bf17d97fe5410c4e6697b6325c777dfee5b0 (diff) | |
allow Ctrl+Break in the shell. Works on Windows too.
Diffstat (limited to 'src-3.0/GF/Compile')
0 files changed, 0 insertions, 0 deletions