From 2c2e87fe9544fbfb129a9312031449a5b4a5ea1f Mon Sep 17 00:00:00 2001 From: Anthony Borghi <anthony.borghi@veremes.com> Date: Fri, 5 Jul 2019 11:45:28 +0200 Subject: [PATCH] changement de nom toc tree --- utilisation/demande_traitements/index.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utilisation/demande_traitements/index.rst b/utilisation/demande_traitements/index.rst index 5362bd4..dec0e04 100644 --- a/utilisation/demande_traitements/index.rst +++ b/utilisation/demande_traitements/index.rst @@ -1,5 +1,5 @@ ========================== -Publication de traitements +Demandes de traitements ========================== Un utilisateur avec des droits d'utilisation de GTF (gtf_user) peut faire une demande de traitement sur un traitement appartenant à un groupe dont ce même utilisateur fait partie. -- GitLab