comparison man/mini.texi @ 69743:d5216626315e

(Top): Update subnode menu.
author Richard M. Stallman <rms@gnu.org>
date Fri, 31 Mar 2006 17:37:07 +0000
parents dc2d5a6655a3
children 737e59692915 c5406394f567
comparison
equal deleted inserted replaced
69742:574797e48b33 69743:d5216626315e