-
Sylvain Dailler authored
Merged apply and apply_with (resp. rewrite and rewrite_with). Typo in error returned by apply. Also adding session for 19.
3c006d28
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Merged apply and apply_with (resp. rewrite and rewrite_with). Typo in error returned by apply. Also adding session for 19.