diff options
| author | Makarius Wenzel | 2007-06-14 09:59:33 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2007-06-14 09:59:33 +0000 |
| commit | ae12d787b6b5859ed705b6b1844fbdb04bcba8a1 (patch) | |
| tree | 74ea57e6d360f7c00b469e32f06932c6dba61ef1 /pgshell | |
| parent | 5ac089f4c1c169b44e231d82b9f3a12de5c1fa18 (diff) | |
isar-font-lock-local: tuned symbol regexp;
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions