diff options
| author | David Aspinall | 2011-06-03 22:19:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-06-03 22:19:59 +0000 |
| commit | 57462910dbcf4706e7ba2eaa5936f4a5e9a73056 (patch) | |
| tree | 3b2ed09b81f5de028149e2b6bde34922e0ee3537 /pgshell | |
| parent | fbac314fdc1307367f1c2f7b86a5b668a613aaa6 (diff) | |
coq-init-compile-response-buffer: handle killed buffer (Trac #408)
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions