diff options
| author | David Aspinall | 2012-09-14 15:35:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-09-14 15:35:23 +0000 |
| commit | 6e7c83f5829a9de2c75a70a6b35e439995c9b653 (patch) | |
| tree | dc61ff7d45abf5ab0ba576cec936eb9649ae9a9a /etc | |
| parent | d0ef52a9e6cc90d43728855fce2b13e173907c6d (diff) | |
proof-shell-process-connection-type: try using pipes by default in Emacs 24,
to avoid Trac #453: http://proofgeneral.inf.ed.ac.uk/trac/ticket/453
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions