From 47b8681e7f0bd3c5e3484a7719f25d923e4f7ed0 Mon Sep 17 00:00:00 2001 From: Zachary Sunberg Date: Wed, 11 Aug 2021 21:25:33 -0600 Subject: [PATCH] Delete REQUIRE --- REQUIRE | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 REQUIRE diff --git a/REQUIRE b/REQUIRE deleted file mode 100644 index dece799..0000000 --- a/REQUIRE +++ /dev/null @@ -1,8 +0,0 @@ -julia 0.6 -POMDPs 0.4 -Compat -Blink -POMDPToolbox 0.2.6 -CPUTime -D3Trees -Colors