From f3078888c461b98fdebe6aab6b691f04f2a40529 Mon Sep 17 00:00:00 2001 From: Lilian Date: Fri, 8 Apr 2022 11:21:40 +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 6cefcad..e8e250f 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -132,3 +132,4 @@ Note that À noter que @dfn{current file} @dfn{fichier actuel} @xref{Directories} @xref{Répertoires} @dfn{Dired buffer} @dfn{tampon Dired} +@dfn{globstar} @dfn{globstar}