Closed penrods closed 5 years ago
Should be able to just git clone then run bash dev_setup.sh to build everything. Repeat dev_setup.sh to rebuild things.
git clone
bash dev_setup.sh
dev_setup.sh
Everyone seems OK with this (as per the meeting and Telegram conversation). Merging!
Should be able to just
git clone
then runbash dev_setup.sh
to build everything. Repeatdev_setup.sh
to rebuild things.