diff --git a/cfg/thorgal/eigen.profile b/cfg/thorgal/eigen.profile deleted file mode 100644 index a4fedac85f8ab2f70d390bc8818b3b78508462e3..0000000000000000000000000000000000000000 --- a/cfg/thorgal/eigen.profile +++ /dev/null @@ -1 +0,0 @@ -add2env INCLUDE "/opt/eigen/" diff --git a/cfg/thorgal/gmm.profile b/cfg/thorgal/gmm.profile deleted file mode 100644 index 3e5f080e8123b3ac6e4fb1e84cbfc6fdf1cb63fb..0000000000000000000000000000000000000000 --- a/cfg/thorgal/gmm.profile +++ /dev/null @@ -1 +0,0 @@ -add2env INCLUDE "/opt/gmm/include"