From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 5 Mar 2013 20:11:54 +0000 (+0100)
Subject: Remove now useless script.
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba-papers.git/commitdiff_plain/10b6424b0675402b61ffbd0fc1bc277ea739ae34?ds=inline;hp=10b6424b0675402b61ffbd0fc1bc277ea739ae34

Remove now useless script.
---