diff options
| author | John van Groningen | 2005-01-04 13:33:11 +0000 |
|---|---|---|
| committer | John van Groningen | 2005-01-04 13:33:11 +0000 |
| commit | 7de78054ec0eb3f65230773974a297bfa41864e9 (patch) | |
| tree | 803e56167b510025157da1920df182473b89cd31 /makefile | |
| parent | fix bug in writing strings to redirected stdout (diff) | |
workaround bug in windows to print strings of more than about 50 thousand characters on the console
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions