drwxr-xr-x   2 edrx edrx  4096 Apr  9 22:21 ./
drwxr-xr-x 323 edrx edrx 49152 Apr  9 22:22 ../
-rw-r--r--   1 edrx edrx  4189 Aug 24  2021 README.org
-rw-r--r--   1 edrx edrx  7540 Apr  9 22:21 README.org.html
-rw-r--r--   1 edrx edrx 10027 Aug 25  2021 edrxpcall.lua
-rw-r--r--   1 edrx edrx 14238 Apr  9 22:21 edrxpcall.lua.html
-rw-r--r--   1 edrx edrx  6556 Aug 25  2021 edrxrepl.lua
-rw-r--r--   1 edrx edrx 10747 Apr  9 22:21 edrxrepl.lua.html
-rw-r--r--   1 edrx edrx   609 Aug 22  2021 edrxrepltest.tex
-rw-r--r--   1 edrx edrx  1439 Apr  9 22:21 edrxrepltest.tex.html