highlight: add HighlightVisitor::hrefto to allow clients to tweak generated links
authorJean Privat <jean@pryen.org>
Mon, 13 Jun 2016 20:40:01 +0000 (16:40 -0400)
committerJean Privat <jean@pryen.org>
Wed, 15 Jun 2016 23:07:03 +0000 (19:07 -0400)
commit329c7158140d6554c582274ac0f3f3b9f47409bf
tree2f8d0bcbae185244a338e3a2745d487630566902
parent300a8619f3f357efe5acfa4b2287bbe251b3722a
highlight: add HighlightVisitor::hrefto to allow clients to tweak generated links

Signed-off-by: Jean Privat <jean@pryen.org>
src/highlight.nit