]> git.parisson.com Git - pdf.js.git/commitdiff
Merge pull request #1744 from brendandahl/diff-ids
authorYury Delendik <ydelendik@mozilla.com>
Thu, 24 May 2012 20:48:26 +0000 (13:48 -0700)
committerYury Delendik <ydelendik@mozilla.com>
Thu, 24 May 2012 20:48:26 +0000 (13:48 -0700)
Use different id's for moz central and extension.


Trivial merge