diff make-dist @ 57527:21785c190853

(hide-other): Call outline-up-heading with INVISIBLE-OK=t.
author Richard M. Stallman <rms@gnu.org>
date Sat, 16 Oct 2004 15:33:59 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff