Simplified naming and compilation.
authorFrancois Fleuret <francois@fleuret.org>
Wed, 14 Jun 2017 21:06:47 +0000 (23:06 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Wed, 14 Jun 2017 21:06:47 +0000 (23:06 +0200)

No differences found