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

Update.
---