tree b0b2ead91987148129ade7d6a53d5ff9e051ae8d
parent 7012cd0478feaf8df0a89faf9f476e5c8e1bc5a2
author Hao Zhu <haozhu233@gmail.com> 1597002757 -0400
committer Hao Zhu <haozhu233@gmail.com> 1597002757 -0400

add global option view_html to control html print behavior