author | Simone Piccardi <piccardi@gnulinux.it> | |
Fri, 10 Feb 2017 15:11:33 +0000 (15:11 +0000) | ||
committer | Simone Piccardi <piccardi@gnulinux.it> | |
Fri, 10 Feb 2017 15:11:33 +0000 (15:11 +0000) | ||
commit | 569bb80cedfbcc193160d64e45b80d1ee88bc5d6 | |
tree | 90890b0ba352a442a238f7f3499a4aea5dda0d0c | tree | snapshot |
parent | fbaf3a4f4f6fe16f6f2233f7165bbfa77557e32e | commit | diff |
system.tex | diff | blob | history |