diff options
| author | David Aspinall | 2010-08-26 23:08:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-26 23:08:27 +0000 |
| commit | e21c8e665861e618a980f27feedc1d0b9240571e (patch) | |
| tree | c9cf5e35fae19d82c9d7c9cb82b0b6f7174a7493 /FAQ | |
| parent | 2b6176e2d3c7d907f29e3b4c59e843b75c068840 (diff) | |
proof-interrupt-process: make sure works from non-proof shell buffers.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions