diff configure.in @ 13405:655214155aaa

(debug_print): Print newline to stderr, too.
author Erik Naggum <erik@naggum.no>
date Mon, 06 Nov 1995 18:31:51 +0000
parents d2d72cc7ee52
children e48a87d64e58
line wrap: on
line diff