diff options
| author | Makarius Wenzel | 2005-08-26 21:50:12 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-08-26 21:50:12 +0000 |
| commit | 573fa23c9a08eb0a0e9e9b2573363f86339166e5 (patch) | |
| tree | 04c96aaa5327f12b659b5912e83d2e74ef76e2f6 /pgshell | |
| parent | 0255aae918270af97725b296f9478ee1918bb3a9 (diff) | |
added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions