drwxr-xr-x 4 edrx edrx 4096 May 13 15:15 ./ drwxr-xr-x 291 edrx edrx 36864 May 13 15:15 ../ -rw-r--r-- 1 edrx edrx 7921 Feb 22 2020 .emacs -rw-r--r-- 1 edrx edrx 10820 May 13 15:15 .emacs.html -rw-r--r-- 1 edrx edrx 949 Feb 22 2020 90eev-puro.el -rw-r--r-- 1 edrx edrx 1687 May 13 15:15 90eev-puro.el.html -rw-r--r-- 1 edrx edrx 7044 Feb 22 2020 HELP -rw-r--r-- 1 edrx edrx 16922 May 13 15:15 HELP.html -rw-r--r-- 1 edrx edrx 7 Feb 22 2020 Makefile -rw-r--r-- 1 edrx edrx 494 May 13 15:15 Makefile.html drwxr-xr-x 2 edrx edrx 4096 May 13 15:15 debian/ drwxr-xr-x 2 edrx edrx 4096 May 13 15:15 menu/ -rw-r--r-- 1 edrx edrx 26699 Feb 22 2020 mini-lua-intro.e -rw-r--r-- 1 edrx edrx 53317 May 13 15:15 mini-lua-intro.e.html -rw-r--r-- 1 edrx edrx 8509 Feb 22 2020 notas.txt -rw-r--r-- 1 edrx edrx 17494 May 13 15:15 notas.txt.html