urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 11:08:45 +03:00
Code Issues Packages Projects Releases Wiki Activity
9,448 Commits 768 Branches 10 Tags 215 MiB
a9cafd71c7
Commit Graph

1 Commits

Author SHA1 Message Date
Joe Bryan
c1f52eda72 [CI] fix deploy phase, move coredump backtrace to a script 2018-11-07 14:29:22 -05:00