drwxr-xr-x 2 edrx edrx 4096 Apr 18 10:34 ./ drwxr-xr-x 289 edrx edrx 36864 Apr 18 10:34 ../ -rw-r--r-- 1 edrx edrx 174 Feb 21 2020 Makefile -rw-r--r-- 1 edrx edrx 818 Apr 18 10:34 Makefile.html -rw-r--r-- 1 edrx edrx 571 Feb 21 2020 latex.lua -rw-r--r-- 1 edrx edrx 1900 Apr 18 10:34 latex.lua.html -rw-r--r-- 1 edrx edrx 4467 Feb 21 2020 modal.c -rw-r--r-- 1 edrx edrx 6149 Apr 18 10:34 modal.c.html -rw-r--r-- 1 edrx edrx 3711 Feb 21 2020 rect.lua -rw-r--r-- 1 edrx edrx 5459 Apr 18 10:34 rect.lua.html -rw-r--r-- 1 edrx edrx 2240 Feb 21 2020 sfc-0.0.1-0.rockspec -rw-r--r-- 1 edrx edrx 4489 Apr 18 10:34 sfc-0.0.1-0.rockspec.html -rw-r--r-- 1 edrx edrx 806 Feb 21 2020 zdags.lua -rw-r--r-- 1 edrx edrx 2531 Apr 18 10:34 zdags.lua.html -rw-r--r-- 1 edrx edrx 20552 Feb 21 2020 zhas.lua -rw-r--r-- 1 edrx edrx 24713 Apr 18 10:34 zhas.lua.html -rw-r--r-- 1 edrx edrx 5174 Feb 21 2020 zhas.tex -rw-r--r-- 1 edrx edrx 6778 Apr 18 10:34 zhas.tex.html