drwxr-xr-x 5 edrx edrx 4096 Jul 12 2008 ./ drwxr-xr-x 315 edrx edrx 40960 Jul 2 07:07 ../ -rwxr-xr-x 1 edrx edrx 4264 Feb 22 2020 .files.sh* -rw-r--r-- 1 edrx edrx 8937 Jul 2 07:06 .files.sh.html -rw-r--r-- 1 edrx edrx 13631 Feb 22 2020 Makefile -rw-r--r-- 1 edrx edrx 320 Feb 22 2020 Makefile.base -rw-r--r-- 1 edrx edrx 961 Jul 2 07:06 Makefile.base.html -rw-r--r-- 1 edrx edrx 23223 Jul 2 07:06 Makefile.html -rw-r--r-- 1 edrx edrx 2141 Feb 22 2020 README -rw-r--r-- 1 edrx edrx 5163 Feb 22 2020 README.ee -rw-r--r-- 1 edrx edrx 6429 Jul 2 07:06 README.ee.html -rw-r--r-- 1 edrx edrx 4582 Jul 2 07:06 README.html -rw-r--r-- 1 edrx edrx 5138 Feb 22 2020 README.interact -rw-r--r-- 1 edrx edrx 6601 Jul 2 07:06 README.interact.html -rw-r--r-- 1 edrx edrx 5434 Feb 22 2020 README.phantoms -rw-r--r-- 1 edrx edrx 6922 Jul 2 07:06 README.phantoms.html -rw-r--r-- 1 edrx edrx 2786 Feb 22 2020 README.windows -rw-r--r-- 1 edrx edrx 3991 Jul 2 07:06 README.windows.html -rw-r--r-- 1 edrx edrx 3454 Feb 22 2020 TODO -rw-r--r-- 1 edrx edrx 5044 Jul 2 07:06 TODO.html -rw-r--r-- 1 edrx edrx 59 Feb 22 2020 VERSION -rw-r--r-- 1 edrx edrx 543 Jul 2 07:06 VERSION.html drwxr-xr-x 2 edrx edrx 4096 Jul 2 07:06 debian/ -rwxr-xr-x 1 edrx edrx 588 Feb 22 2020 dednames.lua* -rw-r--r-- 1 edrx edrx 1214 Jul 2 07:06 dednames.lua.html -rw-r--r-- 1 edrx edrx 316 Feb 22 2020 dednat4-icon.png -rw-r--r-- 1 edrx edrx 4178 Feb 22 2020 dednat4.el -rw-r--r-- 1 edrx edrx 8629 Jul 2 07:06 dednat4.el.html -rwxr-xr-x 1 edrx edrx 35676 Feb 22 2020 dednat4.lua* -rw-r--r-- 1 edrx edrx 50103 Jul 2 07:06 dednat4.lua.html -rw-r--r-- 2 edrx edrx 48113 Jul 12 2008 dednat4.tgz -rwxr-xr-x 1 edrx edrx 32193 Feb 22 2020 dednat40.lua* -rw-r--r-- 1 edrx edrx 41705 Jul 2 07:06 dednat40.lua.html -rw-r--r-- 1 edrx edrx 4978 Feb 22 2020 dednat5-shadow.lua -rw-r--r-- 1 edrx edrx 8429 Jul 2 07:06 dednat5-shadow.lua.html -rw-r--r-- 1 edrx edrx 9402 Feb 22 2020 dednat5.lua -rw-r--r-- 1 edrx edrx 13204 Jul 2 07:06 dednat5.lua.html drwxr-xr-x 2 edrx edrx 4096 Jul 2 07:06 downloads/ -rw-r--r-- 1 edrx edrx 34963 Feb 22 2020 edrxlib.lua -rw-r--r-- 1 edrx edrx 60836 Jul 2 07:06 edrxlib.lua.html drwxr-xr-x 2 edrx edrx 4096 Nov 8 2008 examples/ -rw-r--r-- 1 edrx edrx 13629 Feb 22 2020 experimental.lua -rw-r--r-- 1 edrx edrx 18918 Jul 2 07:06 experimental.lua.html -rw-r--r-- 1 edrx edrx 13253 Feb 22 2020 newtrees.lua -rw-r--r-- 1 edrx edrx 17684 Jul 2 07:06 newtrees.lua.html