Use stdout FILE * rather than /dev/stdout for default output
authorMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Sat, 7 May 2011 14:50:03 +0000 (10:50 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Sat, 7 May 2011 14:50:03 +0000 (10:50 -0400)
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>

No differences found
This page took 0.034695 seconds and 4 git commands to generate.