diff etc/FTP @ 87715:39844b05431b

(nxml-char-name-ignore-case): Change default value. (nxml-mode): Call nxml-enable-unicode-char-name-sets directly.
author Jason Rumney <jasonr@gnu.org>
date Fri, 11 Jan 2008 16:00:49 +0000
parents e06541128138
children
line wrap: on
line diff