Piccole correzioni
authorSimone Piccardi <piccardi@gnulinux.it>
Wed, 25 Jul 2007 17:59:17 +0000 (17:59 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Wed, 25 Jul 2007 17:59:17 +0000 (17:59 +0000)
commit606aa86c70578ff2e1f6dcf26a87532609d2e09e
treeab5ef3bbcc5fd916f1913c75a27b2f12b31266f0
parent67dbfdc1ef907bd19642eefc4de07739c0d5a888
Piccole correzioni
sockctrl.tex