diff etc/enriched.doc @ 40414:4d919b7986eb

(Customization Types): Add a reference to the Widget manual.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 28 Oct 2001 17:38:29 +0000
parents 026d2f64b0c3
children 07abc8d4c648
line wrap: on
line diff