Glossary changes by Lilian

2022-03-23 09:21:44 +01:00 · 2022-03-23 09:21:44 +01:00 · 9d8011253d
parent 015a476608
commit 9d8011253d
1 changed files with 2 additions and 0 deletions
--- 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}