diff etc/MACHINES @ 108233:de744425d5c4

Regenerate configure, src/config.in.
author Glenn Morris <rgm@gnu.org>
date Mon, 03 May 2010 20:33:04 -0700
parents 1d1d5d9bd884
children dedcf813aa69 376148b31b5e
line wrap: on
line diff