Bruce Hill cbbe6b1c14 Updated and fixed the command line API. Introduced the "-t tool" flag ... for more concisely running tools, removed the "-I file" and replaced it with "-m files..."		2018-11-26 16:17:07 -08:00
..
nomsu.1	Updated and fixed the command line API. Introduced the "-t tool" flag	2018-11-26 16:17:07 -08:00