diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-06-08 19:53:12 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-06-08 19:53:12 +0000 |
| commit | 7c9810c7a262715e06a017ad2cedbdf62f4a7a14 (patch) | |
| tree | 12317272c0b4fe8dbbe334b9198f3c89f950b344 /isar/isar-keywords.el | |
| parent | 81956504f52a67275d0f267ab259aaafe6300d8c (diff) | |
proper indentation;
Diffstat (limited to 'isar/isar-keywords.el')
0 files changed, 0 insertions, 0 deletions