diff options
| author | Makarius Wenzel | 1999-09-30 13:35:20 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-30 13:35:20 +0000 |
| commit | 76afd603e8e4efd8dfc7a5888fa0f6d9ece1ea2c (patch) | |
| tree | 6edd03e0146b0cbe04159ad7bc260f25ef6fd176 /doc | |
| parent | f47271c60d30c0da994b67e7f9b23ef6312dda27 (diff) | |
replaced isa-output-font-lock-terms by isa-output-font-lock-keywords-1;
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions