From: Francois Fleuret Date: Sat, 1 Apr 2017 21:09:46 +0000 (+0200) Subject: Minor changes. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=flatland.git;a=commitdiff_plain;h=afa25fe93d9e0458a5a3a5d9cbdc4f0e0152676a;hp=afa25fe93d9e0458a5a3a5d9cbdc4f0e0152676a Minor changes. ---