mathlib3
Ubuntu dev scripts
#945
Merged

Ubuntu dev scripts #945

cipher1024 merged 3 commits into master from ubuntu-dev-scripts
cipher1024
cipher1024 feat(scripts): use apt-get on ubuntu
db18853a
cipher1024 make python script more low tech
53192097
cipher1024 cipher1024 requested a review from kim-em kim-em 7 years ago
cipher1024 cipher1024 requested a review 7 years ago
cipher1024 Merge branch 'master' into ubuntu-dev-scripts
a42f7ded
cipher1024 cipher1024 assigned ChrisHughes24 ChrisHughes24 7 years ago
cipher1024 cipher1024 added ready-to-merge
cipher1024 cipher1024 merged 8b23dadc into master 7 years ago
cipher1024 cipher1024 deleted the ubuntu-dev-scripts branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
Milestone