urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-05 11:09:30 +03:00
Code Issues Packages Projects Releases Wiki Activity
d06bdd5ad1
shrub/include/vere
History
Raymond Pasco d06bdd5ad1 Time out czar IPs after 5 minutes
2016-10-25 10:51:10 -04:00
..
vere.h Time out czar IPs after 5 minutes 2016-10-25 10:51:10 -04:00