diff gen/todt.cpp @ 718:72ee105be27b

Make sure debug info has correct file name and path.
author Christian Kamm <kamm incasoftware de>
date Wed, 22 Oct 2008 20:00:57 +0200
parents fd32135dca3e
children
line wrap: on
line diff