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?a=commitdiff_plain;ds=sidebyside;h=afa25fe93d9e0458a5a3a5d9cbdc4f0e0152676a;hp=afa25fe93d9e0458a5a3a5d9cbdc4f0e0152676a;p=flatland.git Minor changes. ---