diff options
| author | David Aspinall | 1998-09-23 11:11:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-23 11:11:03 +0000 |
| commit | e65a080cdd72b7d52af2f765c493523301fd19a9 (patch) | |
| tree | a9fd816a7d4d5239368070136b4356a029b71d49 /etc/ProofGeneral.patch | |
| parent | 65b9bef3869aac3ecb7f70d776f8aea137e42367 (diff) | |
Changed customization group name
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions