Glossary changes by Lilian

2022-04-29 14:40:02 +02:00 · 2022-04-29 14:40:02 +02:00 · fb631b7d2c
commit fb631b7d2c
parent 3e2ac35a83
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -199,3 +199,4 @@ flag	statut	Pour le différencier de "mark" (marque)
@var{string}	@var{chaîne}
@dfn{image tags}	@dfn{balises d'image}
 fancy	élégant
+@xref{Repeat Isearch}	@xref{Répétitions avec Isearch}