Update.
authorFrançois Fleuret <francois@fleuret.org>
Fri, 3 Feb 2023 17:55:26 +0000 (18:55 +0100)
committerFrançois Fleuret <francois@fleuret.org>
Fri, 3 Feb 2023 17:55:26 +0000 (18:55 +0100)
commitf721e25e1247b285a2834a3da8bd3e178c37bc61
tree182af8a2d5892ce6b78f3a7c28cb9144b917dda2
parente63cf99d33f2914da5f653885bc1453ba62a4034
Update.
dl.tex