1 files changed, 0 insertions, 9 deletions
diff --git a/plugins/style/recompute_STYLE_N.sh b/plugins/style/recompute_STYLE_N.sh
deleted file mode 100755
index 3e0f30a..0000000
--- a/plugins/style/recompute_STYLE_N.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-sed_wrapper()
-{
-  find ./ -type f -exec sed -i -e "$1" {} \;
-} ## e.g., sedr "s/target/replacement/g"
-
-STYLE_N=`wc -c style.js | cut -d " " -f 1`
-sed_wrapper "s/^#define STYLE_N .*/#define STYLE_N $STYLE_N + 1000/g"
-