diff etc/nxml/00400-004FF.el @ 100041:890266cbab56

(Top): Add a @detailmenu entry for "Character Properties".
author Eli Zaretskii <eliz@gnu.org>
date Sat, 29 Nov 2008 17:04:19 +0000
parents eb218b0c67a0
children ef719132ddfa
line wrap: on
line diff