From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Sun, 3 Mar 2013 10:30:28 +0000 (+0100)
Subject: Fix spacing.
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba-papers.git/commitdiff_plain/236b07dce4867e61f58e036fe4e15fe0c0d4ef91?hp=236b07dce4867e61f58e036fe4e15fe0c0d4ef91

Fix spacing.
---