Aggiunta nota su getrandom
authorSimone Piccardi <piccardi@gnulinux.it>
Fri, 10 Feb 2017 15:11:33 +0000 (15:11 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Fri, 10 Feb 2017 15:11:33 +0000 (15:11 +0000)
commit569bb80cedfbcc193160d64e45b80d1ee88bc5d6
tree90890b0ba352a442a238f7f3499a4aea5dda0d0c
parentfbaf3a4f4f6fe16f6f2233f7165bbfa77557e32e
Aggiunta nota su getrandom
system.tex