Correzioni minori
authorSimone Piccardi <piccardi@gnulinux.it>
Thu, 9 Aug 2001 17:30:43 +0000 (17:30 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Thu, 9 Aug 2001 17:30:43 +0000 (17:30 +0000)
commit05b4fbdb48c2b71dc18730d81d397eb39ad9595e
tree2a34cfd9ec3a017b68256aa243a6de3c6b23b092
parentce9c6c2650b8aeb8b5ada49220365741beff8ded
Correzioni minori
Makefile
filedir.tex
fileintro.tex