From a6c65826e92551477d0a50e90ef0221757215cf9 Mon Sep 17 00:00:00 2001 From: Lilian Date: Tue, 29 Mar 2022 14:06:18 +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 22b79a5..7e2ea08 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -99,3 +99,4 @@ and so on et ainsi de suite @pxref{Interactive Shell} @pxref{Shell interactif} @dfn{undefined} @dfn{non dĂ©fini} @var{title} @var{titre} +prevent empĂȘcher