-
MARCHE Claude authored
this protects against bad behavior identified in issue #30 - user can configure whether she wants to edit files within IDE or not - when saving a source file, a backup is created
9d652ebf
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 protects against bad behavior identified in issue #30 - user can configure whether she wants to edit files within IDE or not - when saving a source file, a backup is created