tree e6b701d25344d3325fa2b85b93f30258199daa4e
parent 3556305eb00cd63ce75bc5ef4a84fd1b454c50fb
author Scott Main <smain@google.com> 1263605438 -0800
committer Scott Main <smain@google.com> 1263927556 -0800

docs: add the ability to exclude PRE elements from being prettified
by adding the class "no-pretty-print" (needs to hyphenate 'prettyprint',
otherwise the prettify script will parse "no-prettyprint" the same as
"prettyprint")