diff options
| author | David Aspinall | 1999-11-15 10:32:04 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 10:32:04 +0000 |
| commit | f9449f39bc520ffd150738eaa53246e8ce2c743b (patch) | |
| tree | 07c28b24f6b4be46b957d6f48a8874049cb709d4 /html | |
| parent | 0bf5592b68f717ec2bfaf7561d6ce8cb6790fb3a (diff) | |
Removed font-lock settings. Set proof-font-lock-zap-commas=t
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions