From: Daniel James (daniel_james_at_[hidden])
Date: 2008-05-07 18:57:11
On 07/05/2008, Marshall Clow <marshall_at_[hidden]> wrote:
> My opinion is that all of those changes are fine -
> except for the one where you changed "Dietmar Kühl"'s name.
I assumed it would be okay because it's spelt that way in other places:
I think that the other ways to get this to work would be: to use UTF-8
in the source file, get Doxygen to output UTF-8, or get it to markup
the encoding in its output.