diff --git a/binder/start b/binder/start deleted file mode 100755 index 9c284c4fd..000000000 --- a/binder/start +++ /dev/null @@ -1,7 +0,0 @@ - #!/bin/bash - -# pushd binder -# ./init & -# popd - - exec "$@" \ No newline at end of file