diff etc/MACHINES @ 46216:00a9017b1365

(texinfo-font-lock-keywords): Disable the automatic environment name update. (texinfo-clone-environment): Fix it not to incorrectly match prefixes.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 07 Jul 2002 20:14:28 +0000
parents 2ce169c14700
children 2c71c36eaac2
line wrap: on
line diff