From aa73db1fdc0e14c0ecb84ca34164c5ee7be4b6dd Mon Sep 17 00:00:00 2001 From: Jean-Christophe Helary Date: Fri, 6 Aug 2021 13:00:50 +0900 Subject: [PATCH] Glossary changes by suzume --- glossary/glossary.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/glossary/glossary.txt b/glossary/glossary.txt index c34922f..02bdebc 100644 --- a/glossary/glossary.txt +++ b/glossary/glossary.txt @@ -16,3 +16,4 @@ user option l'option d'utilisateur user option options d'utilisateur key sequences combinaisons de touches keymaps tables de séquences +predicates attributs