diff options
| author | Thomas Kleymann | 1996-12-12 11:43:03 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1996-12-12 11:43:03 +0000 |
| commit | b3845be172baa94682a52f220e3dc3b8d32ee7d7 (patch) | |
| tree | ea88a62bffbc22f3ac4661549f2731a37dbf347c /script-management.texinfo | |
| parent | 23fc84152a2508f9c91cac2e79b32ec08e74ba82 (diff) | |
support for highlighting Error messages in pbp-mode without using font-lock
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions