| drwxr-xr-x | [up] | |||
| drwxr-xr-x | a1 | files | ||
| drwxr-xr-x | public | files | ||
| -rw-r--r-- | 2018-12-11 21:33 +0100 | 2802 | a1.html | file | revisions | annotate |
| -rw-r--r-- | 2018-12-11 21:33 +0100 | 3408 | a2.html | file | revisions | annotate |
| -rw-r--r-- | 2018-12-11 21:33 +0100 | 2662 | a3.html | file | revisions | annotate |
| -rw-r--r-- | 2018-12-11 21:33 +0100 | 2662 | a4.html | file | revisions | annotate |
| -rw-r--r-- | 2018-12-11 21:33 +0100 | 2662 | a5.html | file | revisions | annotate |
| -rw-r--r-- | 2018-12-11 21:33 +0100 | 752 | a6.scalatex | file | revisions | annotate |