diff make-dist @ 42762:b656c92e9fc0

(Fkill_all_local_variables): Increment `update_mode_lines' only once.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 15 Jan 2002 07:30:23 +0000
parents e13df10b6b63
children 1109a8546104
line wrap: on
line diff