Correzioni varie.
authorSimone Piccardi <piccardi@gnulinux.it>
Mon, 29 Oct 2001 18:56:18 +0000 (18:56 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Mon, 29 Oct 2001 18:56:18 +0000 (18:56 +0000)
commit16e64b5dbce90526045cf9c0c95690c08d64a2dc
treec928793c8353d76616c2dbcf5fbf97423b04891a
parent0726315ca76d6655e232a0fafd82d524d133187d
Correzioni varie.
filedir.tex
process.tex