diff configure.in @ 98192:c35fb0691983

Remove file.
author Glenn Morris <rgm@gnu.org>
date Tue, 16 Sep 2008 02:45:28 +0000
parents fc1990cb3e56
children 29005e3eddab
line wrap: on
line diff