diff etc/MACHINES @ 37294:2a5e646c5174

(menu): Doc fix.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 10 Apr 2001 13:36:37 +0000
parents 9825d951f92b
children e7364f57e988
line wrap: on
line diff