diff make-dist @ 108476:2b195069f0d5

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Mon, 10 May 2010 20:05:31 -0700
parents 2fb32340c261
children 7303923cef22
line wrap: on
line diff