diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 22b79a54..7e2ea087 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