From a44472f57b935692fe7d0c6b7a9ffe2296381651 Mon Sep 17 00:00:00 2001 From: Lilian Date: Fri, 25 Mar 2022 11:51:06 +0100 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 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}