From c88eda40b8c56dd37e4f398c68366c94d07668e5 Mon Sep 17 00:00:00 2001
From: Romain Boman <romain.boman@gmail.com>
Date: Wed, 3 Apr 2019 17:27:59 +0200
Subject: [PATCH] move trilinos to /opt

---
 cfg/gaston/{cmake.bashrc => cmake.profile}       | 0
 cfg/gaston/{swig.bashrc => swig.profile}         | 0
 cfg/gaston/{trilinos.bashrc => trilinos.profile} | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename cfg/gaston/{cmake.bashrc => cmake.profile} (100%)
 rename cfg/gaston/{swig.bashrc => swig.profile} (100%)
 rename cfg/gaston/{trilinos.bashrc => trilinos.profile} (100%)

diff --git a/cfg/gaston/cmake.bashrc b/cfg/gaston/cmake.profile
similarity index 100%
rename from cfg/gaston/cmake.bashrc
rename to cfg/gaston/cmake.profile
diff --git a/cfg/gaston/swig.bashrc b/cfg/gaston/swig.profile
similarity index 100%
rename from cfg/gaston/swig.bashrc
rename to cfg/gaston/swig.profile
diff --git a/cfg/gaston/trilinos.bashrc b/cfg/gaston/trilinos.profile
similarity index 100%
rename from cfg/gaston/trilinos.bashrc
rename to cfg/gaston/trilinos.profile
-- 
GitLab