Have DumpDTM go to a file instead of stdout.

1 file changed