When I switch to directory cadabra2
, then use
git pull https://github.com/kpeeters/cadabra2/tree/microtex
I got error report:
fatal: repository '[https://github.com/kpeeters/cadabra2/tree/microtex/](https://github.com/kpeeters/cadabra2/tree/microtex/)' not found
I am naive for git
, can you give me more details how to build from this branch?