diff man/mini.texi @ 36338:45507c61ceef

(Customizing Faces): Remove doubled `the'.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 23 Feb 2001 12:50:41 +0000
parents 931b5c1e2d14
children d26ad6e1f13f
line wrap: on
line diff