Correzione a getpid che e getgid
authorSimone Piccardi <piccardi@gnulinux.it>
Wed, 24 Nov 2004 20:50:36 +0000 (20:50 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Wed, 24 Nov 2004 20:50:36 +0000 (20:50 +0000)
commit764759ec56ded5724b5d96288dc8f31369ac0ce8
tree6e191ee2f14468678e58907aec1cb482b012c5f7
parentf8f72700e2402e0753124978199ab8801667bfd1
Correzione a getpid che e getgid
ChangeLog
session.tex