From 616efc8d9e2f962f2fc42f683c966f69bf27e749 Mon Sep 17 00:00:00 2001 From: Lilian Date: Wed, 23 Mar 2022 09:04:54 +0100 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 13b95c3..99d3646 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -78,3 +78,4 @@ decoration habillage @pxref{Safe File Variables} @pxref{Variables de fichier sécurisées} @pxref{Dired} @pxref{Dired} @dfn{connection-local variables} @dfn{variables locales de connexion} +@dfn{profile} @dfn{profil}