PR #968 fix(script/remote-install-update-mathlib)

fix(script/remote-install-update-mathlib) #968

cipher1024 merged 3 commits into master from remote-install

PatrickMassot requested a review 6 years ago

fix(script/remote-install-update-mathlib)

5e1924a0

fix(scripts/remote-install-update-mathlib): fix shebang

10a37fe9

cipher1024 approved these changes on 2019-05-02

cipher1024 added ready-to-merge

fix(README): use bash for remote install

afc7c79b

cipher1024 merged d2889058 into master 6 years ago

bryangingechen deleted the remote-install branch 5 years ago

Reviewers

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone