From 86d0bd734efc95a20d994127aad11f4e172274ae Mon Sep 17 00:00:00 2001
From: Lilian <lilian.faedi@hotmail.fr>
Date: Wed, 18 May 2022 12:04:47 +0200
Subject: [PATCH] Glossary changes by Lilian

---
 glossary/glossary.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/glossary/glossary.txt b/glossary/glossary.txt
index 20e9b67..3432377 100644
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@@ -246,3 +246,4 @@ Diff mode	mode « Diff »
 hunk	hunk	S'apparente au chunk : fragment de texte
 breakpoint	point d'arrêt
 {Compilation Mode}	{Mode « Compilation »}
+Compilation mode	mode « Compilation »