diff options
| author | David Aspinall | 1998-11-26 14:50:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-26 14:50:41 +0000 |
| commit | 67176f93132dc0f12732fdcade7859a2d4bcde2f (patch) | |
| tree | bec9078c51769cc9a85e65462b088ee5015c52a0 /etc/ProofGeneral.patch | |
| parent | 66d432faf1a8dfcaa684ab949c8a978684a6b5be (diff) | |
Quotes added to try to fix markup.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions