Renaming. master
authorFrancois Fleuret <francois@fleuret.org>
Thu, 15 Jun 2017 12:38:00 +0000 (14:38 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Thu, 15 Jun 2017 12:38:00 +0000 (14:38 +0200)
commita375f59411f399653e507f544f00cb176abcca79
treee34f3dce27594542b18b98579b743a587f86c266
parent5d431674a9552cae15e6383a57cdb3679496004d
Renaming.
Makefile
build.py