From 4f5a467e4ba6ffd2e9f19f40d9f60bc3d1ab2225 Mon Sep 17 00:00:00 2001
From: Lilian <Lilian@DESKTOP-VD31EEE.home>
Date: Fri, 8 Apr 2022 11:34:05 +0200
Subject: [PATCH] Glossary changes by Lilian

---
 glossary/glossary.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/glossary/glossary.txt b/glossary/glossary.txt
index e8e250f..36869f7 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}