Glossary changes by Lilian

2022-03-17 11:56:14 +01:00 · 2022-03-17 11:56:14 +01:00 · 57b2072821
parent b51706518b
commit 57b2072821
1 changed files with 1 additions and 0 deletions
--- 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