urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-04 04:35:02 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,777 Commits 768 Branches 10 Tags 215 MiB
d9f0c19d69
Commit Graph

2 Commits

Author SHA1 Message Date
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