remove misplaced file

diff --git a/local-docs/b1209.in b/local-docs/b1209.in
deleted file mode 100644 (file)
index e93977a..0000000
--- a/local-docs/b1209.in
+++ /dev/null
@@ -1,8 +0,0 @@
-# S1
-$bc[
-  ord ( substr ( $P, $i, 1 ) )
-] = $j--;
-
-# S2
-$bc[
-  ord ( substr ( $P, $i, 1 ) ) ] = $j--;