Glossary changes by Lilian

2022-03-17 11:38:24 +01:00 · 2022-03-17 11:38:24 +01:00 · b0c05791ab
commit b0c05791ab
parent 327ee05fc9
1 changed files with 1 additions and 0 deletions
--- 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}