From 0d4e6e1a9f791d9d70300c74fde41680c7027734 Mon Sep 17 00:00:00 2001 From: Lilian Date: Fri, 18 Mar 2022 11:20:56 +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 a1d650d..f78bee7 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -54,3 +54,4 @@ Font Lock Blocage de police @pxref{Initial Options} @pxref{Options initiales} variable/value pair paire de variables/de valeurs offer proposer Dans certains contextes. +@pxref{Easy Customization} @pxref{Personnalisation facile}