From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 23 Oct 2017 11:03:27 +0000 (+0200)
Subject: Minor changes.
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba-papers.git/commitdiff_plain/2567705429f776512834d21c2e1e6e674d0057e2?ds=inline;hp=2567705429f776512834d21c2e1e6e674d0057e2

Minor changes.
---