author | Simone Piccardi <piccardi@gnulinux.it> | |
Fri, 9 Nov 2018 22:52:42 +0000 (23:52 +0100) | ||
committer | Simone Piccardi <piccardi@gnulinux.it> | |
Fri, 9 Nov 2018 22:52:42 +0000 (23:52 +0100) | ||
commit | 5a15091e17c25f37a6f53751ccde91f504006773 | |
tree | 8fe03096f2dc87fadb89808c9efc6ea35530cf0a | tree | snapshot |
parent | 2f4922efce6bcac7c6ff10a4c5af7bebccb1f151 | commit | diff |
fileio.tex | diff | blob | history | |
othersock.tex | diff | blob | history |