Glossary changes by Lilian

2022-03-28 19:14:59 +02:00 · 2022-03-28 19:14:59 +02:00 · 12a36b7aaa
parent 28970a5782
commit 12a36b7aaa
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -96,3 +96,4 @@ and so on	et ainsi de suite
@pxref{Projects}	@pxref{Projets}
@dfn{local keymaps}	@dfn{raccourcis clavier locaux}
@xref{Init Rebinding}	@xref{Associations de séquences à l'initialisation}
+@pxref{Interactive Shell}	@pxref{Shell interactif}