From d0059b5a74f9ba0345505fe97d0d59e4f5a27406 Mon Sep 17 00:00:00 2001 From: Lilian Date: Fri, 18 Mar 2022 11:30:56 +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 f78bee73..cf123162 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -55,3 +55,4 @@ Font Lock Blocage de police 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}