diff man/mini.texi @ 60975:c7c6caacbc9e

(GTK resources): Fix last change.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 26 Mar 2005 15:25:26 +0000
parents e6d77fce1453
children 80f8fd5fdea6 13796b0653c7
line wrap: on
line diff