Minor change.
authorFrancois Fleuret <francois@fleuret.org>
Mon, 27 Aug 2018 05:55:21 +0000 (07:55 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Mon, 27 Aug 2018 05:55:21 +0000 (07:55 +0200)
commit76adf091bf41d79feea5a967a7d8b942ec1f1391
treebdaa2768c6a98f4f586397cc56f2f2d1af093e4a
parentab669cb70605f372037e533c9096bfa989b563d5
Minor change.
Makefile