Checkout
Guillaume Nodet
committed
on 13 Dec 16
[gogo][jline] Remove unneeded white space added by the highlighter