From: Francois Fleuret <francois@fleuret.org>
Date: Wed, 1 Mar 2017 15:07:52 +0000 (+0100)
Subject: Finishing the renaming.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=5d4e9eaeec9263692d39ca840e498a5f1d818eaa;hp=5d4e9eaeec9263692d39ca840e498a5f1d818eaa;p=flatland.git

Finishing the renaming.
---