diff config.bat @ 6772:6e53158ad17d

(make_buffer_string): Copy properties whenever we have some even if they don't change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 09 Apr 1994 19:34:45 +0000
parents c87d1cd3f62a
children 73d9c538cce2
line wrap: on
line diff