diff etc/nxml/10400-1044F.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 ca8d75a9c77e
children ef719132ddfa
line wrap: on
line diff