diff make-dist @ 40906:fe298eabbb27

(command-line): Read standard abbrev file (abbrev-file-name), if it exists.
author Richard M. Stallman <rms@gnu.org>
date Sun, 11 Nov 2001 01:53:31 +0000
parents 42dc72aedd45
children 80822bf12d5e
line wrap: on
line diff