mozilla/pdf.js — pull request #2107 by arturadib (2012-09-11 23:09:54+00:00)
Title: Fix gh-pages bloat

Creates a fresh new repo for gh-pages.

The bot has already been configured to do `git push --force`.