-
POTTIER Francois authored
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.
93094320
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.