diff options
author | Chong Yidong <[email protected]> | 2007-04-23 14:39:16 +0000 |
---|---|---|
committer | Chong Yidong <[email protected]> | 2007-04-23 14:39:16 +0000 |
commit | 6ef234e266441b736dcd6456ad99372ce60834a8 (patch) | |
tree | 36c05d5fd48f4f66af305dfe988079792c50d918 /man/text.texi | |
parent | e34d1140983f61643f1f7a19ebe51a9944c30780 (diff) |
* display.texi (Highlight Interactively): Correct description of
hi-lock-file-patterns-policy.
Diffstat (limited to 'man/text.texi')
0 files changed, 0 insertions, 0 deletions