diff etc/nxml/00000-0007F.el @ 104653:6de7f271f0ce

(buildobj.h): Replace "echo" with "djecho".
author Eli Zaretskii <eliz@gnu.org>
date Thu, 27 Aug 2009 19:02:53 +0000
parents 90d168760002
children ef719132ddfa
line wrap: on
line diff