diff --git a/install b/install index 0c1b4159d94c26653d61cde645ff5e9361a9f245..faf36eb59ac212f9f3cc32db6ad639d5f0d71a5b 100755 --- a/install +++ b/install @@ -1,7 +1,6 @@ #! /bin/bash set -x -alias python=python2 source script/help source script/discover_os source script/show_solutions