From: Christiaan Baaij Date: Wed, 27 Jan 2010 09:31:28 +0000 (+0100) Subject: Improve indenting of some of the verbatim stuff X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=ee24f26fd3eea04d7b457a881c4f8e8d8af72bd6;hp=ee24f26fd3eea04d7b457a881c4f8e8d8af72bd6 Improve indenting of some of the verbatim stuff ---