diff make-dist @ 3708:e2cbba9f0ea3

(finder-find-library): New function. (finder-commentary): Use it.
author Richard M. Stallman <rms@gnu.org>
date Sun, 13 Jun 1993 01:36:48 +0000
parents cecefb2ab758
children e65e33390314
line wrap: on
line diff