From 9d8011253d4c09ae5ff3c050ca2f943bca5486eb Mon Sep 17 00:00:00 2001 From: Lilian Date: Wed, 23 Mar 2022 09:21:44 +0100 Subject: [PATCH] Glossary changes by Lilian --- glossary/glossary.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 99d3646..e4535c3 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -79,3 +79,5 @@ decoration habillage @pxref{Dired} @pxref{Dired} @dfn{connection-local variables} @dfn{variables locales de connexion} @dfn{profile} @dfn{profil} +@dfn{key bindings} @dfn{raccourcis clavier} +@dfn{keymaps} @dfn{tables de séquences}