From 0166b19f9ace8c8684dff2ca4b0291a6825829f0 Mon Sep 17 00:00:00 2001
From: Cédric Bonhomme <cedric@cedricbonhomme.org>
Date: Sat, 24 Feb 2018 14:36:27 +0100
Subject: With pipenv the file runtime.txt is useless.

---
 Pipfile     | 2 ++
 install.sh  | 2 +-
 runtime.txt | 1 -
 3 files changed, 3 insertions(+), 2 deletions(-)
 delete mode 100644 runtime.txt

diff --git a/Pipfile b/Pipfile
index ee298a4f..88a95815 100644
--- a/Pipfile
+++ b/Pipfile
@@ -4,6 +4,8 @@ url = "https://pypi.python.org/simple"
 verify_ssl = true
 name = "pypi"
 
+[requires]
+python_version = "3.6.4"
 
 [packages]
 
diff --git a/install.sh b/install.sh
index a561979d..43ddd96a 100644
--- a/install.sh
+++ b/install.sh
@@ -13,7 +13,7 @@ sudo apt-get install -y libssl-dev openssl > /dev/null # for pip
 
 
 
-PYTHON_VERSION=3.6.1
+PYTHON_VERSION=3.6.4
 echo "Installation of Python..."
 if [ "$1" == postgres ]; then
     sudo apt-get install -y libpq-dev  > /dev/null
diff --git a/runtime.txt b/runtime.txt
deleted file mode 100644
index 02d0df5e..00000000
--- a/runtime.txt
+++ /dev/null
@@ -1 +0,0 @@
-python-3.6.3
-- 
cgit