diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2008-07-09 15:07:43 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2008-07-09 15:07:43 +0000 |
| commit | 430ca22c74919524a4c8c7f6301e6539fb571b0b (patch) | |
| tree | dddd6869caec560c545af797d836b692243ac6ef /COMPATIBILITY | |
| parent | f972a399c24c65bd12556dfa728453c8e8ec4eed (diff) | |
more precise regexps isar-token-match, isar-control-token-match;
Diffstat (limited to 'COMPATIBILITY')
0 files changed, 0 insertions, 0 deletions