drwxr-xr-x 2 edrx edrx 4096 Jun 28 08:49 ./ drwxr-xr-x 27 edrx edrx 4096 Jun 28 08:51 ../ -rw-r--r-- 1 edrx edrx 26093 Oct 14 2024 __discrete.el -rw-r--r-- 1 edrx edrx 36157 Jun 28 08:49 __discrete.el.html