diff etc/MACHINES @ 104192:83c0c59a3c3b

Fix header.
author Glenn Morris <rgm@gnu.org>
date Sat, 08 Aug 2009 02:34:50 +0000
parents a8ec55d0a206
children 1d1d5d9bd884
line wrap: on
line diff