drwxr-xr-x   4 edrx edrx  4096 Jun  1 21:35 ./
drwxr-xr-x 309 edrx edrx 36864 Jun  1 21:36 ../
-rw-r--r--   1 edrx edrx  7921 Feb 21  2020 .emacs
-rw-r--r--   1 edrx edrx 10820 Jun  1 21:35 .emacs.html
-rw-r--r--   1 edrx edrx   949 Feb 21  2020 90eev-puro.el
-rw-r--r--   1 edrx edrx  1687 Jun  1 21:35 90eev-puro.el.html
-rw-r--r--   1 edrx edrx  7044 Feb 21  2020 HELP
-rw-r--r--   1 edrx edrx 16977 Jun  1 21:35 HELP.html
-rw-r--r--   1 edrx edrx     7 Feb 21  2020 Makefile
-rw-r--r--   1 edrx edrx   494 Jun  1 21:35 Makefile.html
drwxr-xr-x   2 edrx edrx  4096 Jun  1 21:35 debian/
drwxr-xr-x   2 edrx edrx  4096 Jun  1 21:35 menu/
-rw-r--r--   1 edrx edrx 26699 Feb 21  2020 mini-lua-intro.e
-rw-r--r--   1 edrx edrx 53317 Jun  1 21:35 mini-lua-intro.e.html
-rw-r--r--   1 edrx edrx  8509 Feb 21  2020 notas.txt
-rw-r--r--   1 edrx edrx 17520 Jun  1 21:35 notas.txt.html