From 5390d34af6130a790fa799557867e980de6bf998 Mon Sep 17 00:00:00 2001
From: Adrian Englhardt <adrian.englhardt@kit.edu>
Date: Fri, 3 Jan 2020 16:34:52 +0100
Subject: [PATCH] Delete REQUIRE file.

---
 REQUIRE | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 REQUIRE

diff --git a/REQUIRE b/REQUIRE
deleted file mode 100644
index 31bf815..0000000
--- a/REQUIRE
+++ /dev/null
@@ -1,9 +0,0 @@
-julia 0.7
-MLKernels
-MLLabelUtils
-JuMP
-Ipopt
-Distributions
-StatsBase
-Memento
-Compat