* doc/misc/nxml-mode.texi (Introduction): Update @url.
commit583873a92efb6d46276dfa74814aa81e510e5cac
authorGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:53:56 +0000 (3 18:53 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:53:56 +0000 (3 18:53 -0700)
treeaac3211aa4fee20da3080efb9f4e17881cf8f895
parent91eea47bd76914ddf595c918b93beb3992ac42da
* doc/misc/nxml-mode.texi (Introduction): Update @url.
doc/misc/ChangeLog
doc/misc/nxml-mode.texi