diff options
| author | Makarius Wenzel | 2007-06-14 10:07:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2007-06-14 10:07:48 +0000 |
| commit | 82617ccd8c1586d86226a474a5885a6460d39bb3 (patch) | |
| tree | 191f7d6d0002f05d1568fa8b2506ac9d33142e0c /pgshell/example.pgsh | |
| parent | ae12d787b6b5859ed705b6b1844fbdb04bcba8a1 (diff) | |
single-char-regexp: tuned symbol regexp;
subscript-matcher: more robust handling of non-space lookahead (beware of markuo specials!);
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions