Glossary changes by Lilian

2022-03-29 14:48:01 +02:00 · 2022-03-29 14:48:01 +02:00 · eead683c6e
commit eead683c6e
parent f823531edd
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -102,3 +102,4 @@ and so on	et ainsi de suite
 prevent	empêcher
@xref{Disabling}	@xref{Désactivation}
@xref{Init File}	@xref{Fichier d'initialisation}
+@pxref{Copying and Naming}	@pxref{Copier et nommer}