Better division of labour for drawPager()
authorMike Taylor <mike@indexdata.com>
Fri, 7 Feb 2014 17:19:56 +0000 (17:19 +0000)
committerMike Taylor <mike@indexdata.com>
Fri, 7 Feb 2014 17:19:56 +0000 (17:19 +0000)
commit891162c526852295263ace8b5f9c0e70314c0d39
tree748a8944b91edbbc7d84c285b7734a45a955b38b
parent7230df2f7e91720f6e561420b9e9b6dcccad1796
Better division of labour for drawPager()
tools/htdocs/mkws.js