diff options
author | Stefan Monnier <[email protected]> | 2002-07-07 20:14:28 +0000 |
---|---|---|
committer | Stefan Monnier <[email protected]> | 2002-07-07 20:14:28 +0000 |
commit | 287360825e6a069702170e38ff64e33846ebdabf (patch) | |
tree | 0315c6cada7ff7b76d15ccbe31bc1580d633a01f /AUTHORS | |
parent | 867357fb211e8b4a18555026d65f4e266d4f2470 (diff) |
(texinfo-font-lock-keywords): Disable the automatic environment name update.
(texinfo-clone-environment): Fix it not to incorrectly match prefixes.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions