tree a0efc5229e3011167920668e580a3f2bfc2b68e1
parent d57c2d7710d9cad91f7f73c24d2107018126ffe4
author Hao Zhu <haozhu233@gmail.com> 1502999071 -0400
committer Hao Zhu <haozhu233@gmail.com> 1502999071 -0400

added strip_color option for LaTeX