-
Sylvain Dailler authored
This command is added only in the Tools menu. It is not in the context menu and it cannot be called from the command line. Calling this will trigger a popup to prevent users mistake.
581cddee
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 command is added only in the Tools menu. It is not in the context menu and it cannot be called from the command line. Calling this will trigger a popup to prevent users mistake.