comparison make-dist @ 108607:c487ac406dde

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Sat, 15 May 2010 14:34:03 -0700
parents 7303923cef22
children 12c5e713faa1
comparison
equal deleted inserted replaced
108606:095e338e1fd8 108607:c487ac406dde