Glossary changes by Lilian

2022-03-17 08:42:09 +01:00 · 2022-03-17 08:42:09 +01:00 · e9d20b56c0
commit e9d20b56c0
parent 854d52fae7
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -44,3 +44,4 @@ Browsing Custom	Personnalisation de navigation
 Changing a Variable	Changer une Variable
@dfn{local variables list}	@dfn{liste de variables locales}
 troff	troff
+@xref{Coding Systems}	@xref{Systèmes de codage}