diff man/vip.texi @ 45869:fb2ae7bd271d

(facemenu-map): Rename to Describe Text to Describe Properties and use describe-text-properties.
author Richard M. Stallman <rms@gnu.org>
date Mon, 17 Jun 2002 16:14:37 +0000
parents 39cfe73648c8
children 0a70200bde27
line wrap: on
line diff