From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Mon, 27 May 2013 15:59:44 +0000 (+0200)
Subject: Small updates.
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba-papers.git/commitdiff_plain/f66f867710d2e58ab32016531b05ae0d9adbfc58?ds=sidebyside;hp=f66f867710d2e58ab32016531b05ae0d9adbfc58

Small updates.
---