From 3a5f5452b6afc5dd9142ca83e2873d4830177e08 Mon Sep 17 00:00:00 2001
From: Lilian <lilian.faedi@hotmail.fr>
Date: Wed, 18 May 2022 12:31:30 +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 b325796..1acfb6b 100644
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@@ -251,3 +251,4 @@ Compilation mode	mode « Compilation »
 @var{cmdstring}	@var{chaîne de commande}
 @var{docstring}	@var{chaîne de documentation}
 @var{binding}	@var{connection}
+{Old Revisions}	{Anciennes révisions}