From 57b207282199514edbe47154999e1bf1c07db131 Mon Sep 17 00:00:00 2001 From: Lilian Date: Thu, 17 Mar 2022 11:56:14 +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 ce265e1..f150e92 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -52,3 +52,4 @@ Font Lock Blocage de police @pxref{Hooks} @pxref{Déclencheurs} @xref{Choosing Modes} @xref{Choisir des modes} @pxref{Initial Options} @pxref{Options initiales} +variable/value pair paire de variables/de valeurs