diff options
| author | David Aspinall | 1999-11-18 18:04:52 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-18 18:04:52 +0000 |
| commit | da704391bb08325770f1907f1c679cc51f6e837f (patch) | |
| tree | fc8d27934795fedc10060bc313f03bb30bbe6a46 /html | |
| parent | 0ff64855aed5f83904d200f530c45c9ecffc84e9 (diff) | |
Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to do the job.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions