]> git.parisson.com Git - pdf.js.git/commitdiff
Merge pull request #692 from brendandahl/integration
authorvingtetun <21@vingtetun.org>
Fri, 21 Oct 2011 23:49:25 +0000 (16:49 -0700)
committervingtetun <21@vingtetun.org>
Fri, 21 Oct 2011 23:49:25 +0000 (16:49 -0700)
Web worker integration (disabled by default)


Trivial merge