From fc50b1b1a8ec20619bfbb87b910672fee40f80c9 Mon Sep 17 00:00:00 2001
From: Lilian <Lilian@DESKTOP-VD31EEE.home>
Date: Tue, 5 Apr 2022 10:13:48 +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 7338a286..95392c19 100644
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@@ -120,3 +120,4 @@ customizations	éléments de personnalisation
 @pxref{Emacs Server}	@pxref{Serveur Emacs}
 @pxref{Filling}	@pxref{Remplissage}
 @pxref{Customization}	@pxref{Personnalisation}
+@pxref{Examining}	@pxref{Examiner}