From 0f759a977a8bf9264f1e30a746eeaa1744639607 Mon Sep 17 00:00:00 2001
From: Bruno Alla <browniebroke@users.noreply.github.com>
Date: Mon, 8 Apr 2019 13:15:02 +0100
Subject: [PATCH] Create runtime.txt

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

diff --git a/docs/runtime.txt b/docs/runtime.txt
new file mode 100644
index 000000000..5a958026d
--- /dev/null
+++ b/docs/runtime.txt
@@ -0,0 +1 @@
+3.5