From 6593f8caea80432159e1e436e275473cebf39e92 Mon Sep 17 00:00:00 2001 From: Lilian Date: Thu, 21 Apr 2022 10:19:53 +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 808b574..2c749b7 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -187,3 +187,5 @@ Backup Names Noms des archives menuentry templates modèles (@pxref{Special Diary Entries}) (@pxref{Entrées spéciales du journal}) @xref{Non-Gregorian Diary} @xref{Journal non grégorien} +@pxref{Dired Updating} @pxref{Actualisation dans Dired} +@xref{Single Shell} @xref{Shell unique}