-
Sylvain Dailler authored
Change many function from gconfig.ml to remove ref to Whyconf. Add protocol file. Add whats needed in an adhoc way. Need cleaning. Compile but fails.
ee0cf016
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
Change many function from gconfig.ml to remove ref to Whyconf. Add protocol file. Add whats needed in an adhoc way. Need cleaning. Compile but fails.