From b26787ff51973f5eaeb0418836582032321cece8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Isma=C3=ABl?= Date: Tue, 3 May 2022 16:31:15 +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 e407486..4a20f44 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -210,3 +210,4 @@ Skip Prefers mode mode « ignorer les préférences » Pour un mode spécifiqu Fast mode mode « rapide » Edit mode mode « modifications » @pxref{Misc File Ops} @pxref{Opérations sur fichiers, divers} +GNU Make Manual le manuel GNU Make