/thys3/document/
drwxr-xr-x [up]
-rw-r--r-- 2022-08-15 17:26 +0200 58331 cc-by.pdf
-rw-r--r-- 2022-08-15 17:26 +0200 83561 lipics-logo-bw.pdf
-rw-r--r-- 2022-08-15 17:26 +0200 48021 lipics-v2021.cls
-rwxr-xr-x 2022-08-15 17:26 +0200 12986 root.bib
-rw-r--r-- 2022-08-15 17:26 +0200 4980 root.tex