Glossary changes by Lilian

2022-03-29 14:06:18 +02:00 · 2022-03-29 14:06:18 +02:00 · a6c65826e9
commit a6c65826e9
parent fab38f6d10
1 changed files with 1 additions and 0 deletions
--- 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