diff make-dist @ 17588:0054114145ca

change all buffer-substring to buffer-substring-no-properties.
author Simon Marshall <simon@gnu.org>
date Mon, 28 Apr 1997 11:25:26 +0000
parents 55e7f9ff6456
children 892cc20c7d91
line wrap: on
line diff