On Thu, Sep 20, 2007 at 02:15:49PM +0200, v.dijk.bas at gmail.com wrote: > Thu Sep 20 14:13:06 CEST 2007 v.dijk.bas at gmail.com > * Removed duplicate entry for derbugging flag -ddump-tc from the user guide Thanks for the patch! I've applied it. Thanks Ian