From 0ebcd21eb11aebd1ce02579b835607b2af23aac2 Mon Sep 17 00:00:00 2001
From: Aldo Cortesi <aldo@nullcube.com>
Date: Fri, 21 Oct 2016 10:46:03 +1300
Subject: dev.sh: pin to v3.5 for now

We can generalise this again when 3.6 comes out...
---
 dev.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev.sh b/dev.sh
index 889ffecb..3a68a9fe 100755
--- a/dev.sh
+++ b/dev.sh
@@ -2,8 +2,8 @@
 set -e
 set -x
 
-PYVERSION=$1
-VENV="venv$1"
+PYVERSION=3.5
+VENV="venv$PYVERSION"
 
 echo "Creating dev environment in $VENV using Python $PYVERSION"
 
-- 
cgit v1.2.3