drwxr-xr-x 4 edrx edrx 4096 Jul 23 17:18 ./ drwxr-xr-x 315 edrx edrx 36864 Jul 23 17:19 ../ -rw-r--r-- 1 edrx edrx 7921 Feb 22 2020 .emacs -rw-r--r-- 1 edrx edrx 10820 Jul 23 17:18 .emacs.html -rw-r--r-- 1 edrx edrx 949 Feb 22 2020 90eev-puro.el -rw-r--r-- 1 edrx edrx 1687 Jul 23 17:18 90eev-puro.el.html -rw-r--r-- 1 edrx edrx 7044 Feb 22 2020 HELP -rw-r--r-- 1 edrx edrx 16977 Jul 23 17:18 HELP.html -rw-r--r-- 1 edrx edrx 7 Feb 22 2020 Makefile -rw-r--r-- 1 edrx edrx 494 Jul 23 17:18 Makefile.html drwxr-xr-x 2 edrx edrx 4096 Jul 23 17:18 debian/ drwxr-xr-x 2 edrx edrx 4096 Jul 23 17:18 menu/ -rw-r--r-- 1 edrx edrx 26699 Feb 22 2020 mini-lua-intro.e -rw-r--r-- 1 edrx edrx 53317 Jul 23 17:18 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 23 17:18 notas.txt.html