scripts/toolpaths.default


1
2
3
4
5
6
7
8

#!/usr/bin/env bash

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
LOCAL_TOOLPATH="$DIR/toolpaths.local"
if [ -e "$LOCAL_TOOLPATH" ]
then
  source $LOCAL_TOOLPATH
fi