commit ca863b504699195581fcc42ad41b8742917b1b49 parent 0f162584c17b06853902428fd71bd43a529e6af3 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Sat, 25 Oct 2025 13:44:45 +0200 https Diffstat:
| authors | | | 4 | ++-- |
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/authors b/authors @@ -8,7 +8,7 @@ Url: https://dblp.org/pid/328/5882.html Id: silviu Name: Silviu Maniu -Url: http://silviu.maniu.info/ +Url: https://silviu.maniu.info/ Id: mikael Name: Mikaƫl Monet @@ -258,7 +258,7 @@ Url: none Id: mschmid Name: Markus L. Schmid -Url: http://www.mlschmid.de/ +Url: https://www.mlschmid.de/ Id: cbarloy Name: Corentin Barloy