diff etc/MACHINES @ 100188:ff0dc1bbf0c1

(Old Revisions): Fix diff-switches description.
author Glenn Morris <rgm@gnu.org>
date Wed, 03 Dec 2008 07:57:23 +0000
parents 09f1342109b9
children 88838d8ca34d
line wrap: on
line diff