Glossary changes by Lilian

2022-04-08 11:34:05 +02:00 · 2022-04-08 11:34:05 +02:00 · 4f5a467e4b
commit 4f5a467e4b
parent 5942d15238
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -133,3 +133,4 @@ Note that	À noter que
@xref{Directories}	@xref{Répertoires}
@dfn{Dired buffer}	@dfn{tampon Dired}
@dfn{globstar}	@dfn{globstar}
+@pxref{Minibuffer History}	@pxref{Historique de mini-tampon}