diff --git a/glossary/glossary.txt b/glossary/glossary.txt index b325796d..1acfb6b7 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}