From 0d5e4fa561fc1ed2a999a8153cf0c0e31eb65f7a Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 19 Jan 2026 12:39:10 +0100
Subject: Moodle is the new eCampus.

---
 programme-inf110.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'programme-inf110.tex')

diff --git a/programme-inf110.tex b/programme-inf110.tex
index bc2b72d..85ea37f 100644
--- a/programme-inf110.tex
+++ b/programme-inf110.tex
@@ -108,7 +108,7 @@ Git: \input{vcline.tex}
   les connecteurs logiques, types inductifs, égalités, etc.).  Le nom
   des tactiques est exigible donc on recommande de préparer un
   récapitulatif pour l'examen (un tel document est disponible sur la
-  page eCampus du cours).
+  page Moodle du cours).
 \end{itemize}
 
 \bigskip
-- 
cgit v1.2.3