'I'd check the diff by using dtd_util to regenerate the header
files.'
        dtd_util?

russell bell

Reply via email to