-
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: mardi 02/04, lundi 06/05, lundi 03/06
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.