diff make-dist @ 20292:2befa7396e42

(skip_chars): Check type of `string' before using it.
author Karl Heuer <kwzh@gnu.org>
date Thu, 20 Nov 1997 22:03:42 +0000
parents 72b506b0fbcc
children 036dac77f78f
line wrap: on
line diff