comparison man/mini.texi @ 62219:62f428aa09ca

(Tooltips): Cleanups.
author Richard M. Stallman <rms@gnu.org>
date Tue, 10 May 2005 09:20:37 +0000
parents e6d77fce1453
children 80f8fd5fdea6 13796b0653c7
comparison
equal deleted inserted replaced
62218:52a6e4267841 62219:62f428aa09ca