From 1c2c03da9674a305fbc8de672c04d8b8ad3be87d Mon Sep 17 00:00:00 2001 From: Lilian Date: Fri, 18 Mar 2022 11:54:15 +0100 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 cf123162..0dfd9103 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -56,3 +56,4 @@ variable/value pair paire de variables/de valeurs offer proposer Dans certains contextes. @pxref{Easy Customization} @pxref{Personnalisation facile} @dfn{directory-local variables} @dfn{variables locales de répertoire} +@xref{Examining} @xref{Examiner}