From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 12 Dec 2012 20:43:38 +0000 (+0100)
Subject: Modify the run_test script.
X-Git-Tag: v0.1~197
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=447476621700590e7386283c6d2850d6cd9721c8;hp=447476621700590e7386283c6d2850d6cd9721c8;p=tatoo.git

Modify the run_test script.
---