From dffed249ef9e09285cef4e0c0ff4c18ffce05e0b Mon Sep 17 00:00:00 2001 From: Lilian Date: Thu, 5 May 2022 11:07:57 +0200 Subject: [PATCH] Glossary changes by Lilian --- glossary/glossary.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 82f5140..4f517a6 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -220,3 +220,5 @@ visit consulter matches correspondances Next Error Follow mode mode de suivi de l'erreur suivante Compilation Minor mode mode mineur de Compilation +@pxref{Minibuffer} @pxref{Mini-tampon} +@pxref{Minibuffer File} @pxref{Fichier mini-tampon}