GoogleChrome/devtools-docs — pull request #93 by jaredwilli (2014-05-19 19:03:50+00:00)
Title: updates from issue #13 for console and command line APIs

I believe I captured all the updates for these docs. Let me know if I missed anything.