comparison make-dist @ 6951:a517c80bbe8d

(shell-command-filter): If point was at end, leave it at end.
author Richard M. Stallman <rms@gnu.org>
date Mon, 18 Apr 1994 22:41:49 +0000
parents 15e380b232fa
children 5a03fc943b38
comparison
equal deleted inserted replaced
6950:8924bd75c263 6951:a517c80bbe8d