removed deleted file from lint_blacklist

mauk81 · mauk81 · commit 735119d5d40b · 2013-10-14T07:19:24.000+02:00
diff --git a/lint_blacklist.txt b/lint_blacklist.txt
@@ -20,5 +20,4 @@ utils/graphie-helpers-arithmetic.js
 utils/matrix.js
 utils/proofs.js
 utils/rational-expressions.js
-utils/steps-helpers.js
 utils/test/**
