drop 0.5 from julia REQUIRE

2024-07-30 06:05:31 +02:00 · 2017-07-05 13:25:14 +02:00 · 2017-07-05 13:25:14 +02:00 · 6a22b91c1e
commit 6a22b91c1e
parent 35fc74e6f2
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1,2 +1,2 @@
-julia 0.5
+julia
 Nemo