Wiki Home Page

If you feel that any information is missing or incorrectly detailed, feel free to report the problem(s) via an issue.

If you would like to contribute, take the time to read these pages. They group together all the manipulations to be carried out in the case of pull requests, which formalism to use in commits or issues, ...