drwxr-xr-x 2 edrx edrx 4096 Jun 3 19:52 ./ drwxr-xr-x 11 edrx edrx 12288 Jun 3 19:53 ../ -rw-r--r-- 1 edrx edrx 409 Feb 22 2020 README -rw-r--r-- 1 edrx edrx 902 Jun 3 19:52 README.html -rw-r--r-- 1 edrx edrx 392 Feb 22 2020 tmp-pst.tex -rw-r--r-- 1 edrx edrx 895 Jun 3 19:52 tmp-pst.tex.html -rw-r--r-- 1 edrx edrx 481 Feb 22 2020 tmp.c -rw-r--r-- 1 edrx edrx 1278 Jun 3 19:52 tmp.c.html -rw-r--r-- 1 edrx edrx 635 Feb 22 2020 tmp.mp -rw-r--r-- 1 edrx edrx 1200 Jun 3 19:52 tmp.mp.html -rw-r--r-- 1 edrx edrx 486 Feb 22 2020 tmp.tex -rw-r--r-- 1 edrx edrx 981 Jun 3 19:52 tmp.tex.html