Lei Zhang 6572ad725f Support using stdin to supply input in the val tool. ... This allows getting output from other utilities using pipe.		2016-02-18 13:43:15 -05:00
..
val.cpp	Support using stdin to supply input in the val tool.	2016-02-18 13:43:15 -05:00