diff etc/MACHINES @ 29184:446621f88d68

Fix junk from last checkin.
author Dave Love <fx@gnu.org>
date Thu, 25 May 2000 11:47:09 +0000
parents 03ddf0b96330
children dd5077dea379
line wrap: on
line diff