From 1c26da134d092d9b32c493971b0d22ba5c1c7160 Mon Sep 17 00:00:00 2001 From: Lilian Date: Wed, 23 Mar 2022 08:41:27 +0100 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 0a6d479f..18765476 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -76,3 +76,4 @@ decoration habillage @dfn{directory class} @dfn{classe de répertoire} @pxref{Init File} @pxref{Fichier d'initialisation} @pxref{Safe File Variables} @pxref{Variables de fichier sécurisées} +@pxref{Dired} @pxref{Dired}