From 2892f719bbf039d335c1864a1ea731888decb851 Mon Sep 17 00:00:00 2001 From: Lilian Date: Thu, 5 May 2022 12:42:58 +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 0531c5e..6536976 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -225,3 +225,4 @@ Compilation Minor mode mode mineur de Compilation @pxref{Select Buffer} @pxref{Sélectionner un tampon} {File Name Coding} {Codage des noms de fichiers} {Remote Files} {Fichiers distants} +{Uniquify} {Uniquifier}