diff etc/MACHINES @ 86753:80f5e47cedfb

Move to etc/nxml
author Glenn Morris <rgm@gnu.org>
date Wed, 28 Nov 2007 05:10:34 +0000
parents 56cec281e296
children 45568b22f6e5 880960b70474
line wrap: on
line diff