diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-12-30 16:56:29 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-12-30 16:56:29 +0000 |
| commit | 452b2694c3092ec4e65250d4123f5967e0cb6229 (patch) | |
| tree | 0600c050be5c394aa4666eab5442c3e5346b02b6 /isar/isar-keywords.el | |
| parent | dbee5bcf9f7794330e9ba76d4d419910a219b14b (diff) | |
fixed isar-keywords-local-goal-regexp;
Diffstat (limited to 'isar/isar-keywords.el')
0 files changed, 0 insertions, 0 deletions