diff options
| author | David Aspinall | 2010-08-16 13:05:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-16 13:05:20 +0000 |
| commit | 017d4bc094c0324d23ca30b7ab1f5b42313c02f7 (patch) | |
| tree | a4b73b0d6c4f5482928a743a75864dd2625d2d5b /FAQ | |
| parent | 6a2df321708ad079bb018859a6c916fcb9f95013 (diff) | |
Set proof-shell-interrupts-after-commit = nil
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions