diff make-dist @ 108638:08c1b90a24ee

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Mon, 17 May 2010 19:54:25 -0700
parents 7303923cef22
children 12c5e713faa1
line wrap: on
line diff