From cc97a4dd2a967e1c2273bd5f4c5f49a5bf2e2585 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Wed, 27 Mar 2019 21:01:33 +0100
Subject: remove node_modules

---
 node_modules/highlight.js/lib/languages/profile.js | 29 ----------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 node_modules/highlight.js/lib/languages/profile.js

(limited to 'node_modules/highlight.js/lib/languages/profile.js')

diff --git a/node_modules/highlight.js/lib/languages/profile.js b/node_modules/highlight.js/lib/languages/profile.js
deleted file mode 100644
index b94657698..000000000
--- a/node_modules/highlight.js/lib/languages/profile.js
+++ /dev/null
@@ -1,29 +0,0 @@
-module.exports = function(hljs) {
-  return {
-    contains: [
-      hljs.C_NUMBER_MODE,
-      {
-        begin: '[a-zA-Z_][\\da-zA-Z_]+\\.[\\da-zA-Z_]{1,3}', end: ':',
-        excludeEnd: true
-      },
-      {
-        begin: '(ncalls|tottime|cumtime)', end: '$',
-        keywords: 'ncalls tottime|10 cumtime|10 filename',
-        relevance: 10
-      },
-      {
-        begin: 'function calls', end: '$',
-        contains: [hljs.C_NUMBER_MODE],
-        relevance: 10
-      },
-      hljs.APOS_STRING_MODE,
-      hljs.QUOTE_STRING_MODE,
-      {
-        className: 'string',
-        begin: '\\(', end: '\\)$',
-        excludeBegin: true, excludeEnd: true,
-        relevance: 0
-      }
-    ]
-  };
-};
\ No newline at end of file
-- 
cgit v1.2.3