Formatting
authorSimone Piccardi <piccardi@gnulinux.it>
Mon, 26 Mar 2012 12:55:41 +0000 (12:55 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Mon, 26 Mar 2012 12:55:41 +0000 (12:55 +0000)
commit5622cd0b4025f59f7f2cf8d9ccd4e56373c110ef
treeb97dc7081ade0b2b9f072af3af753d046cbbf6d7
parent7ba3baf8105b407d641e28477afd868e41d92846
Formatting
system.tex