Minor update.
authorFrancois Fleuret <francois@fleuret.org>
Mon, 26 Dec 2016 10:19:34 +0000 (11:19 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Mon, 26 Dec 2016 10:19:34 +0000 (11:19 +0100)
commitc2ae78c4cfa3628c9695a08f60daeec09d9c2aad
treec0def77fc8d12a60392b1b0fe797f76cf37c9bce
parentd84867d9fde82f49fa0b4545d8eb763f997d31ea
Minor update.
run.sh