From d8a58ce2c6e3056a51b22cd7cdfa9b83690af0d1 Mon Sep 17 00:00:00 2001 From: Lilian Date: Tue, 29 Mar 2022 14:57:07 +0200 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 c4890af..dc48506 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -104,3 +104,4 @@ prevent empĂȘcher @xref{Init File} @xref{Fichier d'initialisation} @pxref{Copying and Naming} @pxref{Copier et nommer} @pxref{Indentation} @pxref{Indentation} +@pxref{Function Keys} @pxref{Touches de fonction}