diff make-dist @ 69743:d5216626315e

(Top): Update subnode menu.
author Richard M. Stallman <rms@gnu.org>
date Fri, 31 Mar 2006 17:37:07 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff