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
3,487 Commits 768 Branches 10 Tags 215 MiB
0ee959b9e7
Commit Graph

3 Commits

Author SHA1 Message Date
Joe Bryan
1774725e4c removes i/o polling 2018-11-26 16:29:38 -05:00
C. Guy Yarvin
3947088354 Change checkpointing from 15 to 120 seconds. 2016-07-01 10:10:41 -07:00
Philip C Monk
9edda1bb73 descriptive names for c files 
fixes #294
 2015-06-23 21:29:11 -04:00