From b95b1d1acbea8202de5b3fafb7077607e0e7db17 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Isma=C3=ABl?= Date: Wed, 4 May 2022 17:08:38 +0200 Subject: [PATCH] =?UTF-8?q?Glossary=20changes=20by=20Isma=C3=ABl?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- glossary/glossary.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/glossary/glossary.txt b/glossary/glossary.txt index 4eb5ebf..0baf1d7 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -215,3 +215,4 @@ GNU Make Manual le manuel GNU Make (@pxref{Mouse References}) (@pxref{Références souris}) @xref{Files} @xref{Fichiers} (@pxref{Grep Searching}) (@pxref{Recherche Grep}) +To visit Pour consulter