drwxr-xr-x | [up] | |||
-rwxr-xr-x | 2018-06-14 14:23 +0100 | 108 | build | file | revisions | annotate |
-rw-r--r-- | 2018-06-14 14:23 +0100 | 3327 | root.bib | file | revisions | annotate |
-rw-r--r-- | 2018-06-14 14:23 +0100 | 1719 | root.tex | file | revisions | annotate |