From f797bb14f7413df2abac6326c6df769004e50aa1 Mon Sep 17 00:00:00 2001 From: David Luevano Alvarado Date: Mon, 1 May 2023 09:35:25 -0600 Subject: small bugfix, add toc settings, update example site and delete unnecessary static assets --- pyssg.xyz/live/static/hl/languages/profile.min.js | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 pyssg.xyz/live/static/hl/languages/profile.min.js (limited to 'pyssg.xyz/live/static/hl/languages/profile.min.js') diff --git a/pyssg.xyz/live/static/hl/languages/profile.min.js b/pyssg.xyz/live/static/hl/languages/profile.min.js deleted file mode 100644 index c40796e..0000000 --- a/pyssg.xyz/live/static/hl/languages/profile.min.js +++ /dev/null @@ -1,8 +0,0 @@ -hljs.registerLanguage("profile",(()=>{"use strict";return e=>({ -name:"Python profiler",contains:[e.C_NUMBER_MODE,{ -begin:"[a-zA-Z_][\\da-zA-Z_]+\\.[\\da-zA-Z_]{1,3}",end:":",excludeEnd:!0},{ -begin:"(ncalls|tottime|cumtime)",end:"$", -keywords:"ncalls tottime|10 cumtime|10 filename",relevance:10},{ -begin:"function calls",end:"$",contains:[e.C_NUMBER_MODE],relevance:10 -},e.APOS_STRING_MODE,e.QUOTE_STRING_MODE,{className:"string",begin:"\\(", -end:"\\)$",excludeBegin:!0,excludeEnd:!0,relevance:0}]})})()); \ No newline at end of file -- cgit v1.2.3-70-g09d2