comparison make-dist @ 108312:3bda5d5b9038

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Fri, 07 May 2010 19:13:50 -0700
parents 2fb32340c261
children 7303923cef22
comparison
equal deleted inserted replaced
108311:3c3969cfa7a1 108312:3bda5d5b9038