diff options
| author | Makarius Wenzel | 1999-09-30 13:33:59 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-30 13:33:59 +0000 |
| commit | f47271c60d30c0da994b67e7f9b23ef6312dda27 (patch) | |
| tree | 62634bc0baa5656eeb31e9298dff7efcf7f1e852 /html | |
| parent | d27a15da7cfc08b05a9686df76a77f610ff64666 (diff) | |
tuned isa-init-output-syntax-table;
removed isa-binder-regexp (obsolete);
remove isa-font-lock-terms;
proper isa-output-font-lock-keywords-1;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions