diff man/mini.texi @ 35265:71b043afa1da

(customize-menu-create): Fix the :filter.
author Dave Love <fx@gnu.org>
date Fri, 12 Jan 2001 12:58:03 +0000
parents 7476be16909f
children 7ce22edfb862
line wrap: on
line diff