diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-05-19 09:44:55 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-05-19 09:44:55 +0000 |
| commit | 275adbd95f84422f92f9c556cee12b5c64a3ee81 (patch) | |
| tree | ca333b089dab5f50206ad5baf0ca6f104af9f26f /isar/isar-keywords.el | |
| parent | 30d3c247cc8c5a55c3a9a2691aea670b04612d26 (diff) | |
isar-verbatim-regexp: include \n;
Diffstat (limited to 'isar/isar-keywords.el')
0 files changed, 0 insertions, 0 deletions