diff make-dist @ 108384:0ce7b05a8161

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Sun, 09 May 2010 19:21:42 -0700
parents 2fb32340c261
children 7303923cef22
line wrap: on
line diff