directory / @ 2:33971512b7fa default tip

name size permissions
file seminar0424.html 4555 -rw-r--r--
file seminar0424.md 2271 -rw-r--r--
file seminar0424.pdf.html 4128 -rw-r--r--