diff --git a/glossary/glossary.txt b/glossary/glossary.txt index e8e250f6..36869f76 100644 --- 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}