diff man/windows.texi @ 67563:fdc28fc82a27

(cpp-face): New widget. (cpp-known-face, cpp-unknown-face, cpp-edit-list): Use it.
author Juri Linkov <juri@jurta.org>
date Wed, 14 Dec 2005 07:47:01 +0000
parents fc256e77595d
children c93440097bdb 7beb78bc1f8e
line wrap: on
line diff