Simplified the compilation.
authorFrancois Fleuret <francois@fleuret.org>
Wed, 14 Jun 2017 21:05:00 +0000 (23:05 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Wed, 14 Jun 2017 21:05:00 +0000 (23:05 +0200)

No differences found