mirror of
https://github.com/urbit/shrub.git
synced 2024-12-17 15:23:58 +03:00
f92eaf970c
I opted to keep u2_opts to just numbers, strings, and beans for now and parse them to peer names in the Raft init code. |
||
---|---|---|
.. | ||
vere.h |