merge -- remove obsolete delta_min "-m" option
This was not used at all for almost two years, c5c781ec. Closes #1674 (closed).
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
This was not used at all for almost two years, c5c781ec. Closes #1674 (closed).