javascript client: add additional pagination on the bottom
commit23b63b1ca0342d94835f051e010b49b66ca766ac
authorMichael Stapelberg <michael@stapelberg.de>
Thu, 18 Dec 2014 09:07:01 +0000 (18 10:07 +0100)
committerMichael Stapelberg <michael@stapelberg.de>
Thu, 18 Dec 2014 09:07:01 +0000 (18 10:07 +0100)
treeb0b36c96a2bbf29f6d730333564a4eda38a1ea9c
parente5d5bd567084f953886ecb653d32397840f539fc
javascript client: add additional pagination on the bottom
static/debcodesearch.css
static/index.html
static/instant.js