diff etc/nxml/00500-0052F.el @ 110950:77c12a233de2

* make-dist: Remove comment that no longer applies.
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Oct 2010 00:46:57 -0700
parents fb055b2a8e66
children ef719132ddfa
line wrap: on
line diff