From: François Fleuret <francois@fleuret.org>
Date: Wed, 19 Jul 2023 13:43:01 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=5703df4c32a0856c8fa4b1ff97810cdc1fb76253;hp=5703df4c32a0856c8fa4b1ff97810cdc1fb76253;p=picoclvr.git

Update.
---