tree 8bcea000d59faca717fbb293acb97b2dc8cd5a68
parent 5d23a11da27dc0db869c804794525c2d465345e6
parent 7b3139ab293ce6c544b0af293553ca4a53372165
author Han Seoul-Oh <laughinghan@gmail.com> 1502775098 -0700
committer GitHub <noreply@github.com> 1502775098 -0700

#767: Fix #709: typing '\text{' barfs