]> git.parisson.com Git - pdf.js.git/commitdiff
Merge pull request #1674 from mozilla/textsearch
authorBrendan Dahl <brendan.dahl@gmail.com>
Tue, 29 May 2012 17:16:18 +0000 (10:16 -0700)
committerBrendan Dahl <brendan.dahl@gmail.com>
Tue, 29 May 2012 17:16:18 +0000 (10:16 -0700)
Text search with new API, new UI


Trivial merge