Skip to content

GitLab

Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Closed
Opened by DAILLER Sylvain@sdaillerDeveloper

induction_pr with arguments

Make a version of induction_pr with arguments.

"induction_pr H"

Same for "induction_ty_lex".

Edited by DAILLER Sylvain
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information