Correzioni ulteriori, segnalate da Vosti.
authorSimone Piccardi <piccardi@gnulinux.it>
Mon, 12 Nov 2001 18:38:32 +0000 (18:38 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Mon, 12 Nov 2001 18:38:32 +0000 (18:38 +0000)
commit132101028053d47151d1957b925fc5a7631c01e6
tree38c01a30cd6e9a2d1de43f4c80f52a2e06141bf2
parentb6d559b9429afcc0d64137913e8f16d49857a6c9
Correzioni ulteriori, segnalate da Vosti.
fileadv.tex
filedir.tex
fileunix.tex
prochand.tex