Richard Newman 0dcb7df1c7 Timing and colorizing in the CLI. (#552) r=grisha ... * Add basic coloring of CLI output. * Add a timer to the CLI. Toggle it on or off with 'timer on' and 'timer off'. Output is colorized. * Add VSCode configuration files. These allow you to build and run the CLI, build Mentat, or run all tests.		2018-02-15 07:36:18 -08:00
..
launch.json	Timing and colorizing in the CLI. (#552) r=grisha	2018-02-15 07:36:18 -08:00
settings.json	Force newline at end of file in VSCode config.	2017-04-26 10:09:50 -07:00
tasks.json	Timing and colorizing in the CLI. (#552) r=grisha	2018-02-15 07:36:18 -08:00