use a code display to avoid some bad typesetting
authorSimon Marlow <marlowsd@gmail.com>
Mon, 5 Jul 2010 14:52:36 +0000 (14:52 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Mon, 5 Jul 2010 14:52:36 +0000 (14:52 +0000)
commit0d5f787f7f645cf33034e1e781b30ec1f7c29d99
tree9afae9daa19d54d03f35884aba5289820f03f062
parentba2f6f9f719959d367efe22563c622db508b760f
use a code display to avoid some bad typesetting
report/pragmas.verb