diff make-dist @ 1215:92554bb95d51

(diff): Don't print echo area message. (diff-parse-differences): Always add `done' to message, at end. New local num-loci-found counts the loci.
author Richard M. Stallman <rms@gnu.org>
date Sat, 26 Sep 1992 21:00:17 +0000
parents 1dba066c1e0a
children 313f56268d18
line wrap: on
line diff