diff make-dist @ 5542:004856d1b311

(diff): Select the differences buffer.
author Richard M. Stallman <rms@gnu.org>
date Sun, 09 Jan 1994 22:39:21 +0000
parents e034ade52ca0
children 27013efefaab
line wrap: on
line diff