Glossary changes by Lilian

2022-05-04 11:49:42 +02:00 · 2022-05-04 11:49:42 +02:00 · 9dad356085
commit 9dad356085
parent 7d900d0fc4
1 changed files with 1 additions and 0 deletions
--- a/glossary/glossary.txt
+++ b/glossary/glossary.txt
@ -213,3 +213,4 @@ Edit mode	mode « modifications »
 GNU Make Manual	le manuel GNU Make
@pxref{Misc Buffer})	@pxref{Tampon Divers})
 (@pxref{Mouse References})	(@pxref{Références souris})
+@xref{Files}	@xref{Fichiers}