urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-22 18:31:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
86a38cbb92
shrub/include/vere
History
Ted Blackman d8b7068345 updates u3_raft_work() to be async, adds sync u3_raft_play()
2018-12-11 17:13:55 -05:00
..
vere.h updates u3_raft_work() to be async, adds sync u3_raft_play() 2018-12-11 17:13:55 -05:00