diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-10-19 22:09:02 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-10-19 22:09:02 +0000 |
| commit | 08267ea8b0636832b76b1a1a38dfdb1b01ec0a5b (patch) | |
| tree | 0538588f744467de4b2ab34f52ac88ba8363356c /isar/isar-keywords.el | |
| parent | a716eb70607c0baf19f698cf5608282d18b619de (diff) | |
added isar-detect-header;
tuned;
Diffstat (limited to 'isar/isar-keywords.el')
0 files changed, 0 insertions, 0 deletions