Glossary changes by Lilian

2022-03-22 14:25:54 +01:00 · 2022-03-22 14:25:54 +01:00 · ee61e515b6
commit ee61e515b6
parent a43529c3ce
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -73,3 +73,4 @@ X resource	ressource X
@xref{File Variables}	@xref{Variables de fichier}
@pxref{Choosing Modes}	@pxref{Choisir les modes}
 decoration	habillage
+@dfn{directory class}	@dfn{classe de répertoire}