From d9ab7c7a0db31b17900c0460e8251ced21e79e24 Mon Sep 17 00:00:00 2001
From: Luc Papeleux <L.Papeleux@ULiege.be>
Date: Wed, 26 Aug 2020 11:49:01 +0200
Subject: [PATCH] fix spring config

---
 cfg/spring/eigen.profile | 1 -
 cfg/spring/gmm.profile   | 1 -
 2 files changed, 2 deletions(-)
 delete mode 100644 cfg/spring/eigen.profile
 delete mode 100644 cfg/spring/gmm.profile

diff --git a/cfg/spring/eigen.profile b/cfg/spring/eigen.profile
deleted file mode 100644
index a4fedac..0000000
--- a/cfg/spring/eigen.profile
+++ /dev/null
@@ -1 +0,0 @@
-add2env INCLUDE "/opt/eigen/"
diff --git a/cfg/spring/gmm.profile b/cfg/spring/gmm.profile
deleted file mode 100644
index 3e5f080..0000000
--- a/cfg/spring/gmm.profile
+++ /dev/null
@@ -1 +0,0 @@
-add2env INCLUDE "/opt/gmm/include"
-- 
GitLab