• jelt's avatar
    Update make_paths.sh · eead54e7
    jelt authored
    Added a $GITCLONE dir. Clearly this needs a better pathname than BoBEAS
    eead54e7
make_paths.sh 606 Bytes