Improve indenting of some of the verbatim stuff
authorChristiaan Baaij <christiaan.baaij@gmail.com>
Wed, 27 Jan 2010 09:31:28 +0000 (10:31 +0100)
committerChristiaan Baaij <christiaan.baaij@gmail.com>
Wed, 27 Jan 2010 09:31:28 +0000 (10:31 +0100)
commitee24f26fd3eea04d7b457a881c4f8e8d8af72bd6
tree3f476c94e5f27a1bc8093bf64a2390f4f1bb630e
parent45b48bcbc67fe507399adb756dd5b5cb15e1fdc9
Improve indenting of some of the verbatim stuff
c╬╗ash.lhs