andreasgal/pdf.js — pull request #684 by vingtetun (2011-10-19 01:21:35+00:00)
Title: Add a 'download' button

This will allow to open the PDF into something else if the rendering is broken or if someone want to save it on the harddrive.