diff options
| author | Makarius Wenzel | 2000-02-14 12:37:39 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-02-14 12:37:39 +0000 |
| commit | 46736a33a4e4844a60cb99a6b90ce1b69ced4a9b (patch) | |
| tree | a6c4d833fcc2ed08b47a1a3ab39990866f1efe27 /html | |
| parent | 0b1cd03d4ee9449a174ba626a4e95d4c37c28346 (diff) | |
isar-tac-regexp: 'font-lock-reference-face;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions