From 276ce4a166ac06511aeb2bb3e1f4fd7d37c257c7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Isma=C3=ABl?= Date: Tue, 15 Mar 2022 16:36:35 +0100 Subject: [PATCH] =?UTF-8?q?Glossary=20changes=20by=20Isma=C3=ABl?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- glossary/glossary.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 245db19f..47217a7d 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -34,3 +34,4 @@ tree arborescence see @ref{ voir @ref{ see voir @dfn{settings} @dfn{paramètres} +@dfn{user options} @dfn{options d'utilisateur}