diff make-dist @ 13333:87b725d9d2ae

Use frame-parameters, not font-lock-background-mode and font-lock-display-type.
author Simon Marshall <simon@gnu.org>
date Mon, 30 Oct 1995 08:31:08 +0000
parents 5a333a8e0ee1
children d05d5a169faa
line wrap: on
line diff