drwxr-xr-x 2 edrx edrx 4096 Jul 3 08:09 ./ drwxr-xr-x 27 edrx edrx 4096 Jul 3 08:10 ../ -rw-r--r-- 1 edrx edrx 25894 Mar 10 2023 __discrete.el -rw-r--r-- 1 edrx edrx 35867 Jul 3 08:09 __discrete.el.html