diff --git a/tools/test b/tools/test deleted file mode 100644 index 8b1378917..000000000 --- a/tools/test +++ /dev/null @@ -1 +0,0 @@ -