-
POTTIER Francois authored
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.
93094320
This project is licensed under the GNU Library General Public License v2 only.
Learn more
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.