diff make-dist @ 8708:6fef8c63f200

keep up to date with configure.in
author David J. MacKenzie <djm@gnu.org>
date Mon, 05 Sep 1994 23:18:00 +0000
parents f7ae124181cd
children ab020bbb761f
line wrap: on
line diff