blob: ad9570ce5a74b202c60189ebc14655892a92083f [file] [log] [blame]
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
LOCAL_TOOLPATH="$DIR/toolpaths.local"
if [ -e "$LOCAL_TOOLPATH" ]
then
source $LOCAL_TOOLPATH
fi