Commit Graph

9 Commits

Author SHA1 Message Date
alonamid
a759d64926 Merge remote-tracking branch 'origin/dev' into toolchains2 2019-07-19 01:10:50 +00:00
alonamid
121c572d72 pr comments 2019-07-19 00:54:34 +00:00
alonamid
40203f60a3 update deinit name 2019-07-18 04:35:31 +00:00
Jerry Zhao
906f5af809 Don't pull hammer-cad-plugins in init script 2019-07-15 16:21:01 -07:00
Abraham Gonzalez
b4dddd21cd Merge pull request #136 from ucb-bar/abejgonzalez-patch-1
Allow esp-tools to get updated after init script
2019-07-08 17:19:50 -07:00
Abraham Gonzalez
ba102fab4a Allow esp-tools to get updated after init script 2019-07-08 15:04:21 -07:00
David Biancolin
f4fb0c42b1 Fix a number of build.sbt related problems 2019-05-29 22:26:04 +00:00
David Biancolin
401a2b9da4 Update setup scripts 2019-05-29 15:31:33 +00:00
abejgonzalez
f45369365b rename build.sh and move to scripts 2019-04-15 10:17:42 -07:00