diff make-dist @ 10067:8ab32ff7b97c

(double-mode-name): Variable deleted. (minor-mode-alist): Use a constant string to indicate Double mode.
author Richard M. Stallman <rms@gnu.org>
date Wed, 23 Nov 1994 23:19:43 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff