diff make-dist @ 18663:8b53028950ae

(undecided): Use `-' in mode line.
author Richard M. Stallman <rms@gnu.org>
date Mon, 07 Jul 1997 08:45:38 +0000
parents c5f070514f07
children 678528c8dd4f
line wrap: on
line diff