diff etc/nxml/0FE50-0FE6F.el @ 103790:649949326c56

(texinfodir): Rename from usermanualdir, and update.
author Glenn Morris <rgm@gnu.org>
date Thu, 09 Jul 2009 02:48:33 +0000
parents 503a17b7bb43
children ef719132ddfa
line wrap: on
line diff