drwxr-xr-x 4 edrx edrx 4096 Jul 2 07:06 ./ drwxr-xr-x 315 edrx edrx 40960 Jul 2 07:07 ../ -rw-r--r-- 1 edrx edrx 7921 Feb 22 2020 .emacs -rw-r--r-- 1 edrx edrx 10820 Jul 2 07:06 .emacs.html -rw-r--r-- 1 edrx edrx 949 Feb 22 2020 90eev-puro.el -rw-r--r-- 1 edrx edrx 1687 Jul 2 07:06 90eev-puro.el.html -rw-r--r-- 1 edrx edrx 7044 Feb 22 2020 HELP -rw-r--r-- 1 edrx edrx 16977 Jul 2 07:06 HELP.html -rw-r--r-- 1 edrx edrx 7 Feb 22 2020 Makefile -rw-r--r-- 1 edrx edrx 494 Jul 2 07:06 Makefile.html drwxr-xr-x 2 edrx edrx 4096 Jul 2 07:06 debian/ drwxr-xr-x 2 edrx edrx 4096 Jul 2 07:06 menu/ -rw-r--r-- 1 edrx edrx 26699 Feb 22 2020 mini-lua-intro.e -rw-r--r-- 1 edrx edrx 53317 Jul 2 07:06 mini-lua-intro.e.html -rw-r--r-- 1 edrx edrx 8509 Feb 22 2020 notas.txt -rw-r--r-- 1 edrx edrx 17520 Jul 2 07:06 notas.txt.html