diff etc/nxml/02300-023FF.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 f2741c3e34d3
children ef719132ddfa
line wrap: on
line diff