From: François Fleuret <francois@fleuret.org>
Date: Tue, 18 Jul 2023 20:23:03 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=a3211f96c7426a613b82a2de87d4dd70640e8f46;hp=a3211f96c7426a613b82a2de87d4dd70640e8f46;p=picoclvr.git

Update.
---