view wisdom/links @ 9954:fb3529990ed4

<oerjan> ` echo \'121:122 194:196 770:771 1000:1001 1493 1497 2113:2114 3341:3343 4530:4531 5136:5137 5642:5643 5895 5897 8669:8678 9070:9071 9074:9075\' | xargs -n 1 >share/scowrevs
author HackBot
date Mon, 12 Dec 2016 03:24:20 +0000
parents 892a4df11b54
children
line wrap: on
line source

links is one of the very few HTML renderers that doesn't try to store a full document tree with heavyweight objects for each node just in case javascript wants to modify it later, so it's the only engine that can render those HTMLs that are automatically converted from a PDF and put each letter in a separate element.