diff make-dist @ 8369:c10b35194993

(Info-find-node): Use a loop instead of mapcar and catch.
author Richard M. Stallman <rms@gnu.org>
date Thu, 28 Jul 1994 12:53:30 +0000
parents cdd772d2e59f
children f7ae124181cd
line wrap: on
line diff