diff man/commands.texi @ 25951:b3f0ced6423b

Add entry for face `menu'.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 09 Oct 1999 19:06:49 +0000
parents ac7e9e5e2ccb
children 8cda50572ee2
line wrap: on
line diff