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

Update.
---