diff man/mini.texi @ 31895:6d04db7a9256

(tool-bar-help): New function.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 26 Sep 2000 09:34:55 +0000
parents e05819f22426
children 7476be16909f
line wrap: on
line diff