From 877edbd1840550a082f5502b584e08689b558515 Mon Sep 17 00:00:00 2001
From: Tim Head <betatim@gmail.com>
Date: Mon, 29 Apr 2019 08:08:55 +0200
Subject: [PATCH] Pin Python version used on mybinder.org

---
 runtime.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 runtime.txt

diff --git a/runtime.txt b/runtime.txt
new file mode 100644
index 0000000..58b4552
--- /dev/null
+++ b/runtime.txt
@@ -0,0 +1 @@
+python-3.7