diff make-dist @ 7076:3497b7f6f0e7

(shell-command): Remove space after `:' in mode-line-process.
author Richard M. Stallman <rms@gnu.org>
date Sun, 24 Apr 1994 08:17:05 +0000
parents 15e380b232fa
children 5a03fc943b38
line wrap: on
line diff