remove node_modules

1 files changed, 0 insertions, 18 deletions

diff --git a/node_modules/highlight.js/lib/languages/mizar.js b/node_modules/highlight.js/lib/languages/mizar.js
deleted file mode 100644
index 467f2f2bc..000000000
--- a/node_modules/highlight.js/lib/languages/mizar.js
+++ /dev/null
@@ -1,18 +0,0 @@
-module.exports = function(hljs) {
-  return {
-    keywords:
-      'environ vocabularies notations constructors definitions ' +
-      'registrations theorems schemes requirements begin end definition ' +
-      'registration cluster existence pred func defpred deffunc theorem ' +
-      'proof let take assume then thus hence ex for st holds consider ' +
-      'reconsider such that and in provided of as from be being by means ' +
-      'equals implies iff redefine define now not or attr is mode ' +
-      'suppose per cases set thesis contradiction scheme reserve struct ' +
-      'correctness compatibility coherence symmetry assymetry ' +
-      'reflexivity irreflexivity connectedness uniqueness commutativity ' +
-      'idempotence involutiveness projectivity',
-    contains: [
-      hljs.COMMENT('::', '$')
-    ]
-  };
-};
\ No newline at end of file