Matthew Flatt 22b0da4cd5 docs: modernize typesetting of "Getting Started with Documentation" ... Use `codeblock` instead of `verbatim`.		2014-12-29 16:23:43 -07:00
..
scribble	docs: modernize typesetting of "Getting Started with Documentation"	2014-12-29 16:23:43 -07:00