From 222f1c7108d59f7942eb6dff67aa551b5c88eea3 Mon Sep 17 00:00:00 2001 From: Lilian Date: Tue, 3 May 2022 14:17:27 +0200 Subject: [PATCH] Glossary changes by Lilian --- glossary/glossary.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 55bf9da0..9087273d 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -71,7 +71,6 @@ @pxref{Marks vs Flags} @pxref{Marques contre Indicateurs} @pxref{Minibuffer History} @pxref{Historique de mini-tampon} @pxref{Minor Modes} @pxref{Modes mineurs} -@pxref{Misc File Ops} @pxref{Opération de fichiers divers} @pxref{Modifier Keys} @pxref{Touches de modification} @pxref{Multiple Displays} @pxref{Affichages multiples} @pxref{Operating on Files} @pxref{Opérations sur fichiers} @@ -210,3 +209,4 @@ Auto Advance mode mode « auto-avancement » Pour un mode spécifique lié à Skip Prefers mode mode « ignorer les préférences » Pour un mode spécifique lié à Emerge. Fast mode mode « rapide » Edit mode mode « modifications » +@pxref{Misc File Ops} @pxref{Opérations sur fichiers, divers}