Only disable split link/hint highlighting, not postprocess as a whole
commit66340e92e58bd33f9615e8ca31047d789e4ffae4
authormalc <av1474@comtv.ru>
Mon, 9 Apr 2012 11:39:54 +0000 (9 15:39 +0400)
committermalc <av1474@comtv.ru>
Mon, 9 Apr 2012 11:39:54 +0000 (9 15:39 +0400)
tree5507c2bebd4c3cb2771f1813a21a8657af56961b
parent84b9dcfc8fcc23f1370cb57d868352db349e8fb5
Only disable split link/hint highlighting, not postprocess as a whole
main.ml