From bf8fa25b901c8a6ab5ed90ba2ab132bffea55238 Mon Sep 17 00:00:00 2001 From: Lilian Date: Thu, 21 Apr 2022 12:12:47 +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 4a1818da..728dca79 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -190,3 +190,4 @@ templates modèles @pxref{Dired Updating} @pxref{Actualisation dans Dired} @xref{Single Shell} @xref{Shell unique} flag statut Pour le différencier de "mark" (marque) +@pxref{Comparing Files} @pxref{Comparer des fichiers}