diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 245db19..47217a7 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}