From 6a22b91c1ee4ae7ae27a0206d0949700641f1877 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 5 Jul 2017 13:25:14 +0200 Subject: [PATCH] drop 0.5 from julia REQUIRE --- REQUIRE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/REQUIRE b/REQUIRE index f8c3297..c99f62f 100644 --- a/REQUIRE +++ b/REQUIRE @@ -1,2 +1,2 @@ -julia 0.5 +julia Nemo