diff options
| author | deva <deva> | 2010-07-05 09:14:46 +0000 |
|---|---|---|
| committer | deva <deva> | 2010-07-05 09:14:46 +0000 |
| commit | 59ff1aa927164b41a53cf78964b9bd6545bd7292 (patch) | |
| tree | afd9b9b7820767ed413a8a2a98ea7e0062f41795 /tools | |
| parent | fbba835d7efaa4ee1d28bf5c7e2232e53d84af5e (diff) | |
Make pracro use new debug output interface (writes to a file).
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions