diff make-dist @ 7904:c2259f58ef7e

(find-tag-history): New variable. (find-tag-noselect): Set that variable.
author Richard M. Stallman <rms@gnu.org>
date Wed, 15 Jun 1994 04:37:26 +0000
parents cba3121c44b7
children bd5b4c5dda7f
line wrap: on
line diff