diff --git a/resources/repl.php b/resources/repl.php deleted file mode 100755 index 0d523b0..0000000 --- a/resources/repl.php +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/env php -