author | Simone Piccardi <piccardi@gnulinux.it> | |
Tue, 14 May 2002 17:45:03 +0000 (17:45 +0000) | ||
committer | Simone Piccardi <piccardi@gnulinux.it> | |
Tue, 14 May 2002 17:45:03 +0000 (17:45 +0000) | ||
commit | 128620016688ca796362cef5b1fefe9e8b52f112 | |
tree | 063abd54096d7f3851b38d6922215f7c64a8cbc8 | tree | snapshot |
parent | b08cbbc5abd1579c0a94d357d5ded1fe902044a0 | commit | diff |
system.tex | diff | blob | history |