On 17 Sep 2011, at 15:54, Martin <lazarus at mfriebe.de> wrote: > On 17/09/2011 14:43, Jonas Maebe wrote: >> >> The default debug format depends on the target platform. >> > Is there documentation anywhere? No. And the default can also change over time. Jonas