From f40db8725321b17983ff052fbea54535f93ede81 Mon Sep 17 00:00:00 2001 From: Lilian Date: Fri, 15 Apr 2022 10:45:08 +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 0fe2d44..80fb9b1 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -146,3 +146,4 @@ inhibit entraver, empêcher @xref{View Mode} @xref{Mode View} @pxref{Subdirectories in Dired} @pxref{Sous-répertoires dans Dired} @pxref{Hiding Subdirectories} @pxref{Masquer des sous-répertoires} +@xref{Reverting} @xref{Rétablir}