diff make-dist @ 13990:155a595b6083

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