diff config.bat @ 108374:f043f612f6da

Regenerate src/config.in.
author Glenn Morris <rgm@gnu.org>
date Sat, 08 May 2010 11:42:56 -0700
parents e514622e9d11
children d89b565897dd
line wrap: on
line diff