diff options
| author | José Fonseca <[email protected]> | 2012-07-06 10:36:55 +0100 |
|---|---|---|
| committer | José Fonseca <[email protected]> | 2012-07-06 18:38:39 +0100 |
| commit | 3cb994afca4733e75936e6d92f107e87ce019b04 (patch) | |
| tree | 9135536d5096c3d638917677674aec2e3b28e563 /docs/thanks.html | |
| parent | 1abb070633916e4d261e3174e681bba10075f225 (diff) | |
galahad: Use debug_printf.
stderr is not visible on windows.
Diffstat (limited to 'docs/thanks.html')
0 files changed, 0 insertions, 0 deletions