GoogleChrome/devtools-docs — pull request #25 by jaredwilli (2013-12-08 21:23:10+00:00)
Title: Updated the shortcuts doc

Takes care of the issues related to this doc.