From 4a50dfe34cee479876af54bd89c2595a70f59f67 Mon Sep 17 00:00:00 2001 From: Lilian Date: Tue, 22 Mar 2022 14:28:36 +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 72d11558..78bcf35a 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -74,3 +74,4 @@ X resource ressource X @pxref{Choosing Modes} @pxref{Choisir les modes} decoration habillage @dfn{directory class} @dfn{classe de répertoire} +@pxref{Init File} @pxref{Fichier d'initialisation}