comparison make-dist @ 64841:c171f553d289

(Echo Area Customization): Don't define max-mini-window-height here; xref instead.
author Richard M. Stallman <rms@gnu.org>
date Tue, 09 Aug 2005 12:00:57 +0000
parents 385af3e03206
children 00005df1b3eb 890cc78a5a24
comparison
equal deleted inserted replaced
64840:41b10113bde8 64841:c171f553d289