Open jbrubake opened 3 years ago
These need to be copied into $HOME so they can be properly copied into source trees. There is a hack in the install.sh script but it doesn't seem to be working
$HOME
install.sh
These need to be copied into
$HOME
so they can be properly copied into source trees. There is a hack in theinstall.sh
script but it doesn't seem to be working