urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-20 09:21:42 +03:00
Code Issues Packages Projects Releases Wiki Activity
30,495 Commits 768 Branches 10 Tags 215 MiB
0e14eedb50
Commit Graph

2 Commits

Author SHA1 Message Date
fang
250e750a89
spider: factor spider-arg type out into interface 
And fix a callsite that wasn't conforming.
 2022-03-16 21:10:31 +01:00
Ted Blackman
f958b7874f various: fixes, pill might actually work now 2021-08-10 16:13:27 +03:00