diff config.bat @ 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 ff0f79a7b8b6
children 4c2b38ea02fe
line wrap: on
line diff