diff etc/=MACHINES @ 13990:155a595b6083

(Info-get-token): Doc fix.
author Karl Heuer <kwzh@gnu.org>
date Thu, 04 Jan 1996 23:42:04 +0000
parents 0e1b3507ee15
children
line wrap: on
line diff