From 3214d0bf31efa3a497ecf40699aaa33c9fd0b9c8 Mon Sep 17 00:00:00 2001 From: Ines Montani Date: Mon, 24 Aug 2020 13:54:51 +0200 Subject: [PATCH] Create runtime.txt --- website/runtime.txt | 1 + 1 file changed, 1 insertion(+) create mode 100644 website/runtime.txt diff --git a/website/runtime.txt b/website/runtime.txt new file mode 100644 index 000000000..475ba515c --- /dev/null +++ b/website/runtime.txt @@ -0,0 +1 @@ +3.7