drwxr-xr-x | [up] | |||
lrwxrwxrwx | 2023-12-28 00:57 +0100 | 9 | default.pdf | file | revisions | annotate |
-rw-r--r-- | 2023-12-28 00:57 +0100 | 31784 | ohp3d.pdf | file | revisions | annotate |
-rw-r--r-- | 2023-12-28 00:57 +0100 | 2581 | ohp3d.tex | file | revisions | annotate |