diff --git a/sub/ext/12 b/sub/ext/12
deleted file mode 100644
index 190a180..0000000
--- a/sub/ext/12
+++ /dev/null
@@ -1 +0,0 @@
-123