diff etc/nxml/00370-003FF.el @ 107958:09b4b2c3944d

Improve previous change.
author Glenn Morris <rgm@gnu.org>
date Thu, 15 Apr 2010 19:45:26 -0700
parents 90cae90fdb0c
children ef719132ddfa
line wrap: on
line diff