From cce686f3a824b972dadc86b4712d058830499e36 Mon Sep 17 00:00:00 2001 From: Julien Constant <49886317+Juknum@users.noreply.github.com> Date: Mon, 9 Jan 2023 19:04:32 +0100 Subject: [PATCH] Update doc/about/tech.rst --- doc/about/tech.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/about/tech.rst b/doc/about/tech.rst index 475d7b38..933e232d 100644 --- a/doc/about/tech.rst +++ b/doc/about/tech.rst @@ -193,7 +193,7 @@ GitHub ~~~~~~ | `Site officiel `__ -| `Page github d'AE-Dev `__ +| `Page github du Pôle Informatique de l'AE `__ Github est un service web d'hébergement et de gestion de développement de logiciel. C'est une plate-forme avec interface web permettant de déposer du code géré avec Git