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