Glossary changes by Lilian

2022-03-18 12:11:21 +01:00 · 2022-03-18 12:11:21 +01:00 · 0c6730df8d
commit 0c6730df8d
parent d04bab881d
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -58,3 +58,4 @@ offer	proposer	Dans certains contextes.
@dfn{directory-local variables}	@dfn{variables locales de répertoire}
@xref{Examining}	@xref{Examiner}
@xref{Specific Customization}	@xref{Personnalisation spécifique}
+@pxref{File Variables}	@pxref{Variables de fichier}