drwxr-xr-x 2 edrx edrx 4096 Jul 23 13:19 ./ drwxr-xr-x 27 edrx edrx 4096 Jul 23 13:20 ../ -rw-r--r-- 1 edrx edrx 27203 Jul 6 18:54 __discrete.el -rw-r--r-- 1 edrx edrx 38910 Jul 23 13:19 __discrete.el.html