Correzioni varie.
authorSimone Piccardi <piccardi@gnulinux.it>
Tue, 23 Oct 2001 21:55:13 +0000 (21:55 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Tue, 23 Oct 2001 21:55:13 +0000 (21:55 +0000)
commit00c2fb226b0ad73a87d5d86a25a149b61c5f9a53
tree1bc984c1b6f6aa1802b0ebf931c3f4ac007dc7ae
parent8b614446e704375451a351d38c2e5e12a8a1a033
Correzioni varie.
filedir.tex
fileintro.tex