From: François Fleuret <francois@fleuret.org>
Date: Sat, 22 Jul 2023 08:06:45 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=00b2d5ed01fb523fbc4e699f0419329efbee0ea8;hp=00b2d5ed01fb523fbc4e699f0419329efbee0ea8;p=picoclvr.git

Update.
---