tree e6835919abf1a1986a960651829da499eadb1952
parent 30f293888156a33abba56bc4c3f1425b788a4d10
parent eb36a4e9a36891bb01f26efb768590f1bf84e92b
author Bob Lantz <rlantz@cs.stanford.edu> 1411694330 -0700
committer Gerrit Code Review <gerrit@onlab.us> 1411694330 -0700

Merge "Turn on ansi color plugin for color console output"