diff configure.in @ 86178:d5707b4c3b0f

New file.
author Glenn Morris <rgm@gnu.org>
date Sat, 17 Nov 2007 03:47:59 +0000
parents a9c20d74abe4
children 40dbe784a4f7 880960b70474
line wrap: on
line diff