drwxr-xr-x   2 edrx edrx  4096 Dec 21 02:28 ./
drwxr-xr-x 307 edrx edrx 36864 Dec 21 02:29 ../
-rw-r--r--   1 edrx edrx  4189 Aug 24  2021 README.org
-rw-r--r--   1 edrx edrx  7540 Dec 21 02:28 README.org.html
-rw-r--r--   1 edrx edrx 10027 Aug 25  2021 edrxpcall.lua
-rw-r--r--   1 edrx edrx 14238 Dec 21 02:28 edrxpcall.lua.html
-rw-r--r--   1 edrx edrx  6556 Aug 25  2021 edrxrepl.lua
-rw-r--r--   1 edrx edrx 10747 Dec 21 02:28 edrxrepl.lua.html
-rw-r--r--   1 edrx edrx   609 Aug 22  2021 edrxrepltest.tex
-rw-r--r--   1 edrx edrx  1439 Dec 21 02:28 edrxrepltest.tex.html