From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 8 Dec 2009 15:35:53 +0000 (+0100)
Subject: Put spaces in example and definition labels.
X-Git-Tag: final-thesis~30
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=sidebyside;h=e1224b075420c7bb5508121b694e8b315b835534;hp=e1224b075420c7bb5508121b694e8b315b835534;p=matthijs%2Fmaster-project%2Freport.git

Put spaces in example and definition labels.
---