diff man/display.texi @ 40290:72bbea2ef358

(font-lock-keywords): Make sure texinfo-clone-environment is called.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 25 Oct 2001 05:22:30 +0000
parents f6a4184f6285
children 608e18d9fb18
line wrap: on
line diff