diff options
| author | David Aspinall | 1998-11-25 13:41:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 13:41:54 +0000 |
| commit | a120015fd0bd3c5084f1bd0e612ba691870039bb (patch) | |
| tree | 071f6ed088c0f06de87e6a5ad2b1544e788c8f5f /etc/ProofGeneral.patch | |
| parent | 394cb2dbcc6a4e4edbd93eea1b99b22a2ac93e8c (diff) | |
Got rid of an error message in case of process early exiting.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions