From b0c05791abe46cf56293277699aab884a8af4e29 Mon Sep 17 00:00:00 2001 From: Lilian Date: Thu, 17 Mar 2022 11:38:24 +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 7b5e732..ce265e1 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -51,3 +51,4 @@ Font Lock Blocage de police @pxref{Font Lock} @pxref{Blocage de police} @pxref{Hooks} @pxref{Déclencheurs} @xref{Choosing Modes} @xref{Choisir des modes} +@pxref{Initial Options} @pxref{Options initiales}