From 36dc21a1dfc8514f6480ed105f577f9a34d230da Mon Sep 17 00:00:00 2001 From: heck Date: Wed, 4 Sep 2024 11:59:48 +0200 Subject: [PATCH] remove boost.sh --- bash_profile.d/boost.sh | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 bash_profile.d/boost.sh diff --git a/bash_profile.d/boost.sh b/bash_profile.d/boost.sh deleted file mode 100644 index eebb382..0000000 --- a/bash_profile.d/boost.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash - -#export BOOST_ROOT=$HOME/src/boost_1_74_0 -#export PATH=$PATH:$BOOST_ROOT -#export BOOST_BUILD_PATH=$BOOST_ROOT/tools/build/