X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=filedir.tex;h=b9d4017a162b614b339aa303842e2193827932c7;hp=d72b71e8717e7a3b69123560b0c8728dfe0c7f5a;hb=276ae7fb9a1e43b6d5e5944071848094c8cc2c3b;hpb=c474f4307db945bc45287edd0ea4c2c29374d0ee

diff --git a/filedir.tex b/filedir.tex
index d72b71e..b9d4017 100644
--- a/filedir.tex
+++ b/filedir.tex
@@ -1909,7 +1909,7 @@ permesso (di lettura, scrittura o esecuzione) si basa sul confronto fra
 l'utente e il gruppo a cui il file appartiene (i valori di \var{st\_uid} e
 \var{st\_gid} accennati in precedenza) e l'user-ID effettivo, il group-ID
 effettivo e gli eventuali group-ID supplementari del processo.\footnote{in
-  realtà Linux, per quanto riguarda l'accesso ai file, utilizza gli gli
+  realtà Linux, per quanto riguarda l'accesso ai file, utilizza gli
   identificatori del gruppo \textit{filesystem} (si ricordi quanto esposto in
   sez.~\ref{sec:proc_perms}), ma essendo questi del tutto equivalenti ai primi,
   eccetto il caso in cui si voglia scrivere un server NFS, ignoreremo questa