Glossary changes by Lilian

2022-03-23 09:00:53 +01:00 · 2022-03-23 09:00:53 +01:00 · 05bb0dea9f
commit 05bb0dea9f
parent e4c1e9bde8
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -77,3 +77,4 @@ decoration	habillage
@pxref{Init File}	@pxref{Fichier d'initialisation}
@pxref{Safe File Variables}	@pxref{Variables de fichier sécurisées}
@pxref{Dired}	@pxref{Dired}
+@dfn{connection-local variables}	@dfn{variables locales de connexion}