tulip-control/polytope — pull request #10 by johnyf (2014-05-06 22:04:41+00:00)
Title: mv version to polytope/version.py

Reopening #8 with target branch `dev` instead of `master`, see #8 for details.