From 66f05ab0682eebd8dc12871ba2324e922097ccaf Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Thu, 17 Jan 2019 18:42:22 +0100 Subject: [PATCH] Deleted prism-hdl.min.js (#1712) This removes the extra prism-hdl.min.js. --- components/prism-hdl.min.js | 1 - 1 file changed, 1 deletion(-) delete mode 100644 components/prism-hdl.min.js diff --git a/components/prism-hdl.min.js b/components/prism-hdl.min.js deleted file mode 100644 index 20d2626c87..0000000000 --- a/components/prism-hdl.min.js +++ /dev/null @@ -1 +0,0 @@ -Prism.languages.hdl={comment:[{pattern:/(^|[^\\])\/\*[\s\S]*?(?:\*\/|$)/,lookbehind:!0},{pattern:/(^|[^\\:])\/\/.*/,lookbehind:!0,greedy:!0}],keyword:/\b(?:CHIP|IN|OUT|PARTS|BUILTIN|CLOCKED)\b/,"boolean":/\b(?:true|false)\b/,number:/\b\d+\b/i,operator:/=/,punctuation:/[{}[\];(),.:]/}; \ No newline at end of file