Usunięcie niepotrzebnego już pliku platforma/dispatch.wsgi.

[redakcja.git] / platforma / static / js / lib / codemirror / util.js

diff --git a/platforma/static/js/lib/codemirror/util.js b/platforma/static/js/lib/codemirror/util.js
index 0cd91d4..796025e 100644 (file)
--- a/platforma/static/js/lib/codemirror/util.js
+++ b/platforma/static/js/lib/codemirror/util.js
@@ -123,12 +123,3 @@ function nodeTop(node) {
   }
   return top;
 }
-
-function isBR(node) {
-  var nn = node.nodeName;
-  return nn == "BR" || nn == "br";
-}
-function isSpan(node) {
-  var nn = node.nodeName;
-  return nn == "SPAN" || nn == "span";
-}