tree cb8da8261bd7efe57a00c2488fc9ece582062b9c
parent 45d21685b93f80b67239849b2d2cfe6b217e335a
author anatoly techtonik <techtonik@gmail.com> 1379780950 +0300
committer anatoly techtonik <techtonik@gmail.com> 1379783037 +0300

repo: use explicit Python executable to run main.py

Small step to support non-POSIX platforms.

Change-Id: I3bdb9c82c2dfbacb1da328caaa1a406ab91ad675