Glossary changes by Lilian

2022-03-29 14:16:38 +02:00 · 2022-03-29 14:16:38 +02:00 · 05d4b35dce
commit 05d4b35dce
parent dbdf7b0ed3
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -101,3 +101,4 @@ and so on	et ainsi de suite
@var{title}	@var{titre}
 prevent	empêcher
@xref{Disabling}	@xref{Désactivation}
+@xref{Init File}	@xref{Fichier d'initialisation}