diff --git a/run_docker.sh b/run_docker.sh deleted file mode 100755 index d96c56eb0a12c5393f30765506f9a182c4c25bf7..0000000000000000000000000000000000000000 --- a/run_docker.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -docker run -ti --rm -v $(pwd):/home/euler boileaum/pythran:latest