Merge "Improve PDF/DJVU navigation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 25 Nov 2013 19:42:15 +0000 (19:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 25 Nov 2013 19:42:15 +0000 (19:42 +0000)
commit38153e2265644c91aa49bb3fd4b9735480215988
treed97de76cb61be49679d06ce247b944da8c064f84
parente10da2622db03b1cad17045b49f09acd505679de
parent5e77f391a528d4bc64fc8cfe8065e254427b9ccd
Merge "Improve PDF/DJVU navigation"