diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 4799c979..ef5e5902 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -94,3 +94,4 @@ ASCII Chars caractères ASCII @pxref{Rebinding} @pxref{Redéfinition de touches} and so on et ainsi de suite @pxref{Projects} @pxref{Projets} +@dfn{local keymaps} @dfn{raccourcis clavier locaux}