diff options
| author | David Aspinall | 1998-09-23 11:09:22 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-23 11:09:22 +0000 |
| commit | a98ccef4b507b74c0b8ec308b26fe3199ca6e1c6 (patch) | |
| tree | 5eb1b29cf4c7ffd275ce588df774ac235fae6edc /etc/ProofGeneral.patch | |
| parent | 25ef3ad3da9ea029b3b1a4a9d4a72f4a6641f0cb (diff) | |
Changed customization group and removed nagging not-busy error message
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions