jimblandy/DebuggerDocs — pull request #12 by MHordecki (2013-07-13 00:42:11+00:00)
Title: Add docs for a new packet type "prototypesAndProperties".

This is the documentation part for the new packet type. Patch with actual code soon to follow.