drwxr-xr-x    2 topedgef   topedgef         4096 Dec  3 06:33 .
drwxr-xr-x   13 topedgef   topedgef         4096 Dec  3 06:33 ..
-rw-r--r--    1 topedgef   topedgef        15899 Sep 13  2017 codemirror.min.css
-rw-r--r--    1 topedgef   topedgef       585414 Sep 13  2017 codemirror.min.js
-rw-r--r--    1 topedgef   topedgef       366769 Oct 25  2019 csslint.js
-rw-r--r--    1 topedgef   topedgef       283149 Jan 23  2018 esprima.js
-rw-r--r--    1 topedgef   topedgef         1002 Jan 23  2018 fakejshint.js
-rw-r--r--    1 topedgef   topedgef          984 Sep 13  2017 htmlhint-kses.js
-rw-r--r--    1 topedgef   topedgef        17735 Sep 13  2017 htmlhint.js
-rw-r--r--    1 topedgef   topedgef        16189 Sep 13  2017 jsonlint.js
