Joshua Holmer 7d1e3a5bb9 Print console output to stderr instead of stdout ... Makes it friendlier with --stdout option See #20 for discussion		2016-03-04 16:37:40 -05:00
..
files	Print console output to stderr instead of stdout	2016-03-04 16:37:40 -05:00
filters.rs	Print console output to stderr instead of stdout	2016-03-04 16:37:40 -05:00
flags.rs	Print console output to stderr instead of stdout	2016-03-04 16:37:40 -05:00
reduction.rs	Print console output to stderr instead of stdout	2016-03-04 16:37:40 -05:00