Simplify pager-text generation.
authorMike Taylor <mike@indexdata.com>
Fri, 7 Feb 2014 17:23:10 +0000 (17:23 +0000)
committerMike Taylor <mike@indexdata.com>
Fri, 7 Feb 2014 17:23:10 +0000 (17:23 +0000)
(It's still pretty darned opaque, though.)


No differences found