aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSebastian Geerken <devnull@localhost>2012-12-15 13:45:21 +0100
committerSebastian Geerken <devnull@localhost>2012-12-15 13:45:21 +0100
commit395d12ff03e1765a14e7b17a4f0fb062ad473969 (patch)
treea1ba61b26dc7511bf670c8a8b767d3b790627113 /doc
parent4071f894114fab5b4087de3ddfaa32fef441f9cf (diff)
Use binary search for paragraphs. The number of paragraphs *can* become quite large, e.g. for pre-formatted text.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions