-
POTTIER Francois authored
MenhirLib remains under LGPL with a linking exception. MenhirSdk is considered part of the Generator. Updated the header of every source file under version control.
bd7310b9
[En cours] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
[In progress] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
La mise à jour de sécurité de ce mercredi 18/09/2024 est terminé. Nous sommes désormais en version 17.2.7 .
MenhirLib remains under LGPL with a linking exception. MenhirSdk is considered part of the Generator. Updated the header of every source file under version control.