Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove user_max_depth which back up MC_cut() for now
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 08:22:32 +0000 (10:22 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 14:32:44 +0000 (16:32 +0200)
This variables is not set since the cross-process mode anyway.


No differences found