-
POTTIER Francois authored
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.
93094320
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.