From 5898370da1fa187b6ef8c269f2bb496b7d1737fd Mon Sep 17 00:00:00 2001
From: Romain Crestey <romain.crestey@radiofrance.com>
Date: Mon, 7 Aug 2023 17:56:10 +0200
Subject: [PATCH] docs: add REPL entry

---
 documentation/docs/07-glossary/02-web.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/documentation/docs/07-glossary/02-web.md b/documentation/docs/07-glossary/02-web.md
index db5bf9f64f..ff6382c52c 100644
--- a/documentation/docs/07-glossary/02-web.md
+++ b/documentation/docs/07-glossary/02-web.md
@@ -80,6 +80,10 @@ Plus d'infos sur le [site de la documentation du LSP](https://microsoft.github.i
 
 > Bientôt...
 
+## REPL
+
+> Bientôt...
+
 ## Routing
 
 > Bientôt...